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

public class SkipDefs2 {

    static class SkipMe {
        @Nullable Object f;

        @EnsuresNonNull("f")
        static void foo() {}
    }

    static class DontSkip {
        static Object foo() {
            // :: error: (return.type.incompatible)
            return null;
        }
    }
}
