Fix HkApply#superType if type constructor is a TypeVar

In this case, supertype is not stable and should not be cached.
xpavlic4 · Jul 27, 2016 · 16a688f · 16a688f
1 parent 4b0cc8a
commit 16a688f
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/dotty/tools/dotc/core/Types.scala b/src/dotty/tools/dotc/core/Types.scala
@@ -2645,6 +2645,9 @@ object Types {
       if (ctx.period != validSuper) {
         cachedSuper = tycon match {
           case tp: TypeLambda => defn.AnyType
+          case tp: TypeVar =>
+            // supertype not stable, since underlying might change
+            return tp.underlying.applyIfParameterized(args)
           case tp: TypeProxy => tp.superType.applyIfParameterized(args)
           case _ => defn.AnyType
         }