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

// This test ensures that overloaded methods with different return types aren't confused.

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

public class OverloadedMethodsTest {

  String f;

  String m1() {
    return this.f;
  }

  String m1(String x) {
    return getSibling1();
  }

  @Sibling1 String getSibling1() {
    return null;
  }
}