| /* | |
| * @test | |
| * @summary Test that a stub file can have no package, but have an annotation on the class. | |
| * @compile -XDrawDiagnostics -processor org.checkerframework.checker.nullness.NullnessChecker -Astubs=NoPackage.astub Driver2.java -Werror | |
| */ | |
| public class Driver2 { | |
| void test() {} | |
| } |