checker/jtreg/issue1133/Main.java

/*
 * @test
 * @summary Ensure that an invalid annotation doesn't crash the
 * Checker Framework.
 *
 * @compile/fail/ref=errorAB.out -XDrawDiagnostics -processor org.checkerframework.checker.nullness.NullnessChecker ClassA.java ClassB.java
 * @compile/fail/ref=errorBA.out -XDrawDiagnostics -processor org.checkerframework.checker.nullness.NullnessChecker ClassB.java ClassA.java
 */
public class Main {}