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

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

class IParent {
  int field;

  public void expectsBotNoSignature(int t) {
    // :: warning: (argument)
    expectsBot(t);
    // :: warning: (argument)
    expectsBot(field);
  }

  void expectsBot(@WholeProgramInferenceBottom int t) {}
}

class IChild extends IParent {
  void test1() {
    @WholeProgramInferenceBottom int bot = (@WholeProgramInferenceBottom int) 0;
    expectsBotNoSignature(bot);
    field = bot;
  }
}