Possible fix for SI-2712

smarter · Nov 20, 2015 · c6f4ebf · c6f4ebf
1 parent ea1ee47
commit c6f4ebf
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/dotty/tools/dotc/core/TypeApplications.scala b/src/dotty/tools/dotc/core/TypeApplications.scala
@@ -646,7 +646,8 @@ class TypeApplications(val self: Type) extends AnyVal {
     def tryLift(bcs: List[ClassSymbol]): Boolean = bcs match {
       case bc :: bcs1 =>
         val tp = self.baseTypeWithArgs(bc)
-        val targs = tp.argInfos
+        //val targs = tp.argInfos
+        val targs = tp.argInfos.takeRight(Math.min(tp.argInfos.length, tparams.length))
         val tycon = tp.withoutArgs(targs)
         def variancesMatch(param1: Symbol, param2: Symbol) =
           param2.variance == param2.variance || param2.variance == 0