checker/tests/nullness/UnannoPrimitivesDefaults.java

public class UnannoPrimitivesDefaults {
  @org.checkerframework.framework.qual.DefaultQualifier(
      org.checkerframework.checker.nullness.qual.NonNull.class)
  class Decl {
    // The return type is not annotated with @NonNull, because
    // the implicit annotation for @Primitive takes precedence.
    int test() {
      return 5;
    }
  }

  class Use {
    Decl d = new Decl();
    int x = d.test();
  }
}