toString

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

@@ -115,4 +115,9 @@ public abstract class InputOutputConstraintFormula implements ConstraintFormula
     }
     map.put(getExpression(), getT());
   }
+
+  @Override
+  public String toString() {
+    return "T: " + getT().getCanonicalText() + "; expr : " + getExpression().getText();
+  }
 }

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

@@ -77,4 +77,9 @@ public class LambdaExpressionCompatibilityConstraint implements ConstraintFormul
   public void apply(PsiSubstitutor substitutor) {
     myT = substitutor.substitute(myT);
   }
+
+  @Override
+  public String toString() {
+    return "T: " + myT.getCanonicalText() +"; expr: " + myExpression.getText();
+  }
 }

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

@@ -231,4 +231,9 @@ public class PsiMethodReferenceCompatibilityConstraint implements ConstraintForm
   public void apply(PsiSubstitutor substitutor) {
     myT = substitutor.substitute(myT);
   }
+
+  @Override
+  public String toString() {
+    return "T: " + myT.getCanonicalText() +"; expr: " + myExpression.getText();
+  }
 }

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

@@ -141,4 +141,9 @@ public class StrictSubtypingConstraint implements ConstraintFormula {
     result = 31 * result + (myT != null ? myT.hashCode() : 0);
     return result;
   }
+
+  @Override
+  public String toString() {
+    return "T: " + myT.getCanonicalText() +"; myS: " + myS.getCanonicalText();
+  }
 }

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

@@ -128,4 +128,9 @@ public class SubtypingConstraint implements ConstraintFormula {
       }
     }
   }
+
+  @Override
+  public String toString() {
+    return "T: " + myT.getCanonicalText() +"; myS: " + myS.getCanonicalText();
+  }
 }

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

@@ -108,4 +108,9 @@ public class TypeCompatibilityConstraint implements ConstraintFormula {
     result = 31 * result + myS.hashCode();
     return result;
   }
+
+  @Override
+  public String toString() {
+    return "T: " + myT.getCanonicalText() +"; myS: " + myS.getCanonicalText();
+  }
 }

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

@@ -145,4 +145,9 @@ public class TypeEqualityConstraint implements ConstraintFormula {
     result = 31 * result + (myS != null ? myS.hashCode() : 0);
     return result;
   }
+
+  @Override
+  public String toString() {
+    return "T: " + myT.getCanonicalText() +"; myS: " + myS.getCanonicalText();
+  }
 }