Better logging + arguemnts resolve on inference failure

2011-12-09 14:45:34 +04:00
parent 459c2e913f
commit a7e99b8b11
2 changed files with 2 additions and 1 deletions
@@ -505,7 +505,7 @@ public class CallResolver {
                    }
                    else {
                        tracing.typeInferenceFailed(temporaryTrace, solution.getStatus());
-                        candidateCall.setStatus(OTHER_ERROR);
+                        candidateCall.setStatus(checkAllValueArguments(scope, tracing, task, candidateCall));
                    }
                }
                else {
@@ -409,6 +409,7 @@ public class ConstraintSystemImpl implements ConstraintSystem {
                    KnownType knownBoundType = (KnownType) upperBound;
                    boolean ok = constraintExpander.isSubtypeOf(jetType, knownBoundType.getType());
                    if (!ok) {
+                        listener.error("Error while expanding '" + jetType + " :< " + knownBoundType.getType() + "'");
                        return new Solution().registerError("Mismatch while expanding constraints");
                    }
                }