checker/jtreg/nullness/issue820/Class2Min.java

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

public class Class2Min {
  void test(Class1Min class1) {
    // Any error must be issued, not suppressed, for this to reproduce
    @NonNull Object o = null;
    class1.methodInstance(this);
  }
}