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);
}
}