JavaErrorTest.java

class Test {
    // Checking that if one checker finds a Java error
    // and therefor does not set a root, then
    // checkers relying on that checker should also not run.
    // otherwise, it might access a subchecker whose "root" has not been set.
    // (See AnnotatedTypeFactory.setRoot(CompilationUnitTree) )
    void foo() {
        Object a;
        //:: error: variable a is already defined in method foo()
        Object a;
    }
}