Another fix to compute the bounds of type parameters in typedAppliedTypeTree

odersky · allanrenucci · commit 0d13ba648480 · 2018-08-08T10:09:26.000+02:00
We need to take care that the asSeenFrom is from a * type, not a type constructor.
diff --git a/compiler/src/dotty/tools/dotc/typer/Typer.scala b/compiler/src/dotty/tools/dotc/typer/Typer.scala
@@ -1238,7 +1238,7 @@ class Typer extends Namer
           args = args.take(tparams.length)
         }
         def typedArg(arg: untpd.Tree, tparam: ParamInfo) = {
-          def tparamBounds = tparam.paramInfoAsSeenFrom(tpt1.tpe)
+          def tparamBounds = tparam.paramInfoAsSeenFrom(tpt1.tpe.appliedTo(tparams.map(_ => TypeBounds.empty)))
           val (desugaredArg, argPt) =
             if (ctx.mode is Mode.Pattern)
               (if (untpd.isVarPattern(arg)) desugar.patternVar(arg) else arg, tparamBounds)

Original file line number	Diff line number	Diff line change
`@@ -1238,7 +1238,7 @@ class Typer extends Namer`
`1238`	`1238`	`args = args.take(tparams.length)`
`1239`	`1239`	`}`
`1240`	`1240`	`def typedArg(arg: untpd.Tree, tparam: ParamInfo) = {`
`1241`		`- def tparamBounds = tparam.paramInfoAsSeenFrom(tpt1.tpe)`
	`1241`	`+ def tparamBounds = tparam.paramInfoAsSeenFrom(tpt1.tpe.appliedTo(tparams.map(_ => TypeBounds.empty)))`
`1242`	`1242`	`val (desugaredArg, argPt) =`
`1243`	`1243`	`if (ctx.mode is Mode.Pattern)`
`1244`	`1244`	`(if (untpd.isVarPattern(arg)) desugar.patternVar(arg) else arg, tparamBounds)`