checker/jtreg/nullness/issue820/Class2.java

import org.checkerframework.checker.nullness.qual.NonNull;
import org.checkerframework.checker.nullness.qual.Nullable;

public class Class2 {
  public static @Nullable Object field;
  public @Nullable Object instanceField;

  void test() {
    Class1.method3(this);
    @NonNull Object o = instanceField;
  }

  void test2() {
    //        instanceField = new Object(); Can't reproduce with assignment
    Class1.method3R(this);
  }
}