/*
 * @test
 * @summary Test that verifies defaults in a non-public class in the same
 * file.
 *
 * @compile -XDrawDiagnostics -Xlint:unchecked -processor org.checkerframework.checker.nullness.NullnessChecker -Alint DefaultNonPublicClass.java
 * @compile -XDrawDiagnostics -Xlint:unchecked -processor org.checkerframework.checker.nullness.NullnessChecker -Alint DefaultNonPublicClass.java
 */

import org.checkerframework.checker.nullness.qual.NonNull;

class Test {
    Integer foo() {
        return 123;
    }
}

public class DefaultNonPublicClass {
    public static void main(String[] args) {
        Test ti = new Test();
        @NonNull Integer ls = ti.foo();
    }
}