1 files changed, 4 insertions, 0 deletions
diff --git a/sources/scalac/typechecker/Infer.java b/sources/scalac/typechecker/Infer.java
index e79fc21990..6690855ec6 100644
--- a/sources/scalac/typechecker/Infer.java
+++ b/sources/scalac/typechecker/Infer.java
@@ -261,6 +261,10 @@ public class Infer implements Modifiers, Kinds {
 	    return cut(variance(tparam, pre));
 	case CompoundType(Type[] parts, Scope members):
 	    return variance(tparam, parts) & variance(tparam, members.elements());
+	case MethodType(Symbol[] params, Type restype):
+	    return flip(variance(tparam, params)) & variance(tparam, restype);
+	case PolyType(Symbol[] tparams, Type restype):
+	    return flip(variance(tparam, tparams)) & variance(tparam, restype);
 	default:
 	    throw new ApplicationError(tp.toString());
 	}