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

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

public class OverriddenMethodsTestChildInAnotherCompilationUnit
    extends OverriddenMethodsTestParent {
  public void callthud(@Sibling1 Object obj1, @Sibling2 Object obj2) {
    thud(obj1, obj2);
  }
}