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) | |
return null; | |
} | |
} | |
} |