Refine HKApply#superType

xpavlic4 · Jul 27, 2016 · 04e6d5e · 04e6d5e
1 parent 16a688f
commit 04e6d5e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/dotty/tools/dotc/core/Types.scala b/src/dotty/tools/dotc/core/Types.scala
@@ -2645,7 +2645,7 @@ object Types {
       if (ctx.period != validSuper) {
         cachedSuper = tycon match {
           case tp: TypeLambda => defn.AnyType
-          case tp: TypeVar =>
+          case tp: TypeVar if !tp.inst.exists =>
             // supertype not stable, since underlying might change
             return tp.underlying.applyIfParameterized(args)
           case tp: TypeProxy => tp.superType.applyIfParameterized(args)