// Test case for issue #3711: https://github.com/typetools/checker-framework/issues/3711

public class CharToFloat {
  void castCharacter(Object o) {
    floatParameter((Character) o);
    doubleParameter((Character) o);
  }

  void passCharacter(Character c) {
    floatParameter(c);
    doubleParameter(c);
  }

  void floatParameter(float f) {}

  void doubleParameter(double d) {}
}