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

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

// TODO: Like this one, some tests must verify that it contains the expected
// output after performing the whole-program inference.
public class MethodParameterInferenceTest {
  void foo(int i) {
    i = getSibling1(); // The type of i must be inferred to @Sibling1.
  }

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