checker/tests/nullness/PrivateMethodUnknownInit.java

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

public class PrivateMethodUnknownInit {

  int x;

  public PrivateMethodUnknownInit() {
    x = 1;
    m1();
    // :: error: (method.invocation)
    m2();
  }

  private void m1(
      @UnknownInitialization(PrivateMethodUnknownInit.class) PrivateMethodUnknownInit this) {}

  public void m2() {}
}