*** empty log message ***

1 files changed, 2 insertions, 1 deletions

diff --git a/sources/scalac/typechecker/Infer.java b/sources/scalac/typechecker/Infer.java
index 674b2cd393..2149e35e1a 100644
--- a/sources/scalac/typechecker/Infer.java
+++ b/sources/scalac/typechecker/Infer.java
@@ -262,7 +262,7 @@ public class Infer implements Modifiers, Kinds {
 	case CompoundType(Type[] parts, Scope members):
 	    return variance(tparam, parts) & variance(tparam, members.elements());
 	default:
-	    throw new ApplicationError();
+	    throw new ApplicationError(tp.toString());
 	}
     }
 
@@ -591,6 +591,7 @@ public class Infer implements Modifiers, Kinds {
 	Type insttype = restype.subst(tparams, tvars);
 	if (isCompatible(insttype, pt)) {
 	    try {
+	    	restype = normalize(restype);
 		for (int i = 0; i < tvars.length; i++) {
 		    solve(tparams, false, variance(tparams, restype), tvars, i);
 		}