checker/tests/initialization/Issue905.java

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

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

public class Issue905 {
  final Object mBar;

  Issue905() {
    // this should be @UnderInitialization(Object.class), so this call should be forbidden.
    // :: error: (method.invocation)
    baz();
    mBar = "";
  }

  Issue905(int i) {
    mBar = "";
    baz();
  }

  void baz(@UnknownInitialization(Issue905.class) Issue905 this) {
    mBar.toString();
  }

  public static void main(String[] args) {
    new Issue905();
  }
}