From 01fc1813929bfea3235bb0739131f675f57c7309 Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Mon, 3 Feb 2014 16:59:26 +0100
Subject: Fix problems with TypeVar instantiation

1) Simplify skipped one level over arguments of AndType/OrType.
2) variances needs to follow instantiated typevars
---
 src/dotty/tools/dotc/core/Types.scala | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src/dotty/tools/dotc/core/Types.scala')

diff --git a/src/dotty/tools/dotc/core/Types.scala b/src/dotty/tools/dotc/core/Types.scala
index 71e38fb8c..2a6a5017f 100644
--- a/src/dotty/tools/dotc/core/Types.scala
+++ b/src/dotty/tools/dotc/core/Types.scala
@@ -828,7 +828,7 @@ object Types {
     def variances(include: TypeVar => Boolean)(implicit ctx: Context): VarianceMap = track("variances") {
       val accu = new TypeAccumulator[VarianceMap] {
         def apply(vmap: VarianceMap, t: Type): VarianceMap = t match {
-          case t: TypeVar if include(t) =>
+          case t: TypeVar if !t.isInstantiated && include(t) =>
             val v = vmap(t)
             if (v == null) vmap.updated(t, variance)
             else if (v == variance) vmap
@@ -852,9 +852,9 @@ object Types {
       class Simplify extends TypeMap {
         def apply(tp: Type): Type = tp match {
           case AndType(l, r) =>
-            mapOver(l) & mapOver(r)
+            this(l) & this(r)
           case OrType(l, r) =>
-            mapOver(l) | mapOver(r)
+            this(l) | this(r)
           case tp: PolyParam =>
             ctx.typerState.constraint.typeVarOfParam(tp) orElse tp
           case _ =>
-- 
cgit v1.2.3