boolean (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; }