checker/tests/wpi-testchecker/non-annotated/LocalClassTest.java

// test case for https://github.com/typetools/checker-framework/issues/3461

import org.checkerframework.checker.testchecker.wholeprograminference.qual.Sibling1;

public class LocalClassTest {
  public void method() {
    class Local {
      Object o = (@Sibling1 Object) null;
    }
  }
}