import org.checkerframework.framework.qual.AnnotatedFor; | |
// Tests that the unchecked bytecode defaults option does not | |
// affect defaulting nor suppress errors in source code. | |
public class BytecodeDefaultsTest { | |
void f() { | |
g(""); | |
} | |
void g(String s) {} | |
} | |
@AnnotatedFor("nullness") | |
class HasErrors { | |
Object f() { | |
// :: error: (return) | |
return null; | |
} | |
} | |
class HasErrors2 { | |
Object f() { | |
// :: error: (return) | |
return null; | |
} | |
} |