@Override
  public boolean reduce(InferenceSession session, List<? super ConstraintFormula> constraints) {
    final boolean reduceResult = doReduce(constraints);
    if (!reduceResult) {
      session.registerIncompatibleErrorMessage(session.getInferenceVariables(),
                                               JavaPsiBundle.message("type.can.be.converted", session.getPresentableText(myS), session.getPresentableText(myT)));
    }
    return reduceResult;
  }
@Override
  public boolean reduce(InferenceSession session, List<? super ConstraintFormula> constraints)