import org.checkerframework.checker.nullness.qual.*;
@org.checkerframework.framework.qual.DefaultQualifier(
org.checkerframework.checker.nullness.qual.NonNull.class)
class ThisTest {
public String field;
public ThisTest(String field) {
this.field = field;
}
void doNothing() {}
class InnerClass {
public void accessOuterThis() {
ThisTest.this.doNothing();
String s = ThisTest.this.field;
}
}
}