import org.checkerframework.checker.nullness.qual.*;
import org.checkerframework.framework.qual.DefaultQualifier;
@DefaultQualifier(org.checkerframework.checker.nullness.qual.NonNull.class)
interface Foo {
void foo(String a, String b);
}
@DefaultQualifier(org.checkerframework.checker.nullness.qual.NonNull.class)
class DefaultInterface {
public void test() {
@Nullable Foo foo = null;
}
}