toString

java/java-psi-impl/src/com/intellij/psi/impl/source/resolve/graphInference/constraints/InputOutputConstraintFormula.java

@@ -118,6 +118,6 @@ public abstract class InputOutputConstraintFormula implements ConstraintFormula
 
   @Override
   public String toString() {
-    return "T: " + getT().getCanonicalText() + "; expr : " + getExpression().getText();
+    return getExpression().getText() + " -> " + getT().getPresentableText();
   }
 }

java/java-psi-impl/src/com/intellij/psi/impl/source/resolve/graphInference/constraints/LambdaExpressionCompatibilityConstraint.java

@@ -80,6 +80,6 @@ public class LambdaExpressionCompatibilityConstraint implements ConstraintFormul
 
   @Override
   public String toString() {
-    return "T: " + myT.getCanonicalText() +"; expr: " + myExpression.getText();
+    return myExpression.getText() + " -> " + myT.getPresentableText();
   }
 }

java/java-psi-impl/src/com/intellij/psi/impl/source/resolve/graphInference/constraints/PsiMethodReferenceCompatibilityConstraint.java

@@ -234,6 +234,6 @@ public class PsiMethodReferenceCompatibilityConstraint implements ConstraintForm
 
   @Override
   public String toString() {
-    return "T: " + myT.getCanonicalText() +"; expr: " + myExpression.getText();
+    return myExpression.getText() + " -> " + myT.getPresentableText();
   }
 }

java/java-psi-impl/src/com/intellij/psi/impl/source/resolve/graphInference/constraints/StrictSubtypingConstraint.java

@@ -144,6 +144,6 @@ public class StrictSubtypingConstraint implements ConstraintFormula {
 
   @Override
   public String toString() {
-    return "T: " + myT.getCanonicalText() +"; myS: " + myS.getCanonicalText();
+    return myS.getPresentableText() + " < " + myT.getPresentableText();
   }
 }

java/java-psi-impl/src/com/intellij/psi/impl/source/resolve/graphInference/constraints/SubtypingConstraint.java

@@ -131,6 +131,6 @@ public class SubtypingConstraint implements ConstraintFormula {
 
   @Override
   public String toString() {
-    return "T: " + myT.getCanonicalText() +"; myS: " + myS.getCanonicalText();
+    return myS.getPresentableText() + " <= " + myT.getPresentableText();
   }
 }

java/java-psi-impl/src/com/intellij/psi/impl/source/resolve/graphInference/constraints/TypeCompatibilityConstraint.java

@@ -111,6 +111,6 @@ public class TypeCompatibilityConstraint implements ConstraintFormula {
 
   @Override
   public String toString() {
-    return "T: " + myT.getCanonicalText() +"; myS: " + myS.getCanonicalText();
+    return myS.getPresentableText() + " -> " + myT.getPresentableText();
   }
 }

java/java-psi-impl/src/com/intellij/psi/impl/source/resolve/graphInference/constraints/TypeEqualityConstraint.java

@@ -148,6 +148,6 @@ public class TypeEqualityConstraint implements ConstraintFormula {
 
   @Override
   public String toString() {
-    return "T: " + myT.getCanonicalText() +"; myS: " + myS.getCanonicalText();
+    return myT.getPresentableText() + " == " + myS.getPresentableText();
   }
 }