checker/tests/nullness/init/Issue1347.java

// Test case for Issue 1347.
// https://github.com/typetools/checker-framework/issues/1347

public class Issue1347<T> {
  T t;
  T t2;
  Object o;

  Issue1347(T t) {
    this(t, 0);
  }

  Issue1347(T t, int i) {
    this.t = t;
    this.t2 = t;
    this.o = new Object();
  }

  // :: error: (initialization.fields.uninitialized)
  Issue1347(T t, String s) {
    this.t = t;
    this.o = new Object();
  }
}