checker/tests/nullness/DefaultInterface.java

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)
public class DefaultInterface {

  public void test() {

    @Nullable Foo foo = null;
  }
}