checker/tests/nullness/Simple2.java

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

public class Simple2 {

  @NonNull String f;

  public Simple2() {
    // :: error: (method.invocation)
    test();

    f = "abc";
  }

  public void test() {
    System.out.println(f.toLowerCase());
  }

  public void a(Simple2 arg) {
    @Nullable String s = null;
    // :: error: (dereference.of.nullable)
    s.hashCode();
  }

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