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

import org.checkerframework.checker.testchecker.wholeprograminference.qual.Parent;
import org.checkerframework.checker.testchecker.wholeprograminference.qual.Top;

public class ParameterInferenceTest {

  void test1() {
    @Parent int parent = (@Parent int) 0;
    expectsParentNoSignature(parent);
  }

  void expectsParentNoSignature(int t) {
    // :: warning: (assignment)
    @Parent int parent = t;
  }

  void test2() {
    @Top int top = (@Top int) 0;
    // :: warning: (argument)
    expectsTopNoSignature(top);
  }

  void expectsTopNoSignature(int t) {}
}