/*
* @test
* @summary Test for bug when storing annotations on extends or implements in class declarations in elements.
*
* @compile -XDrawDiagnostics -processor org.checkerframework.checker.nullness.NullnessChecker -AprintErrorStack Test.java Test2.java Other.java
* @compile -XDrawDiagnostics -processor org.checkerframework.checker.nullness.NullnessChecker -AprintErrorStack Other.java Test.java Test2.java
*/
class Other {
void foo() {
Test other = null;
Test2 other2 = null;
}
}