Fix paramInfoAsSeenFrom argument in typedAppliedTypeTree

odersky · odersky · commit 900982c836af · 2018-08-08T11:31:28.000+02:00
The asSeenFrom is always wrt the type-constructor, not its prefix. This
is because the parameter is treated as a member of the type constructor.
It is strange that no test case caught this.
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.normalizedPrefix)
+          def tparamBounds = tparam.paramInfoAsSeenFrom(tpt1.tpe)
           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.normalizedPrefix)`
	`1241`	`+ def tparamBounds = tparam.paramInfoAsSeenFrom(tpt1.tpe)`
`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)`