checker/tests/nullness/init/Issue1120.java

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

import org.checkerframework.checker.initialization.qual.UnknownInitialization;

class Issue1120Super {
  Object f = new Object();
}

final class Issue1120Sub extends Issue1120Super {
  Object g;

  Issue1120Sub() {
    this.party();
    // this is @UnderInitialization(A.class)
    g = new Object();
    // this is @Initialized now
    this.party();
    this.bar();
  }

  Issue1120Sub(int i) {
    // this is @UnderInitialization(A.class)
    this.party();
    // :: error: (method.invocation)
    this.bar();
    g = new Object();
  }

  void bar() {
    g.toString();
  }

  void party(@UnknownInitialization Issue1120Sub this) {}
}