checker/tests/nullness/init/Uninit4.java

public class Uninit4 {

  class Mam {
    Object a = new Object();
  }

  class BadSon {
    // :: error: (initialization.field.uninitialized)
    Object b;
  }

  class GoodSon {
    Object b = new Object();
  }

  class WeirdSon {
    Object b;

    // :: error: (initialization.fields.uninitialized)
    WeirdSon() {
      super();
    }
  }

  class Daughter {
    Object b;

    // :: error: (initialization.fields.uninitialized)
    Daughter() {}

    Daughter(Object val) {
      this();
      b = val;
    }
  }
}