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

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

public class MethodOverrideInSubtype extends MethodDefinedInSupertype {
  @java.lang.Override
  public int shouldReturnSibling1() {
    return getSibling1();
  }

  private @Sibling1 int getSibling1() {
    return 0;
  }

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