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

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

abstract class MethodOverrideInSubtype2 extends MethodDefinedInSupertype {

  private @Sibling2 int getSibling2() {
    return 0;
  }

  @java.lang.Override
  public int shouldReturnParent() {
    return getSibling2();
  }
}