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

public class Driver2 {
  void test() {}
}
