checker/tests/signedness/CharCastedToInt.java

public class CharCastedToInt {
  int charCastToInt(char c) {
    intParameter((int) c);
    return (int) c;
  }

  void intParameter(int x) {}
}