Fix to TypeLambda over with a TypeBounds body

odersky · odersky · commit a700a1289b82 · 2015-12-03T16:12:11.000+01:00
Taking typeAlias is illegal in that case.
diff --git a/src/dotty/tools/dotc/core/TypeApplications.scala b/src/dotty/tools/dotc/core/TypeApplications.scala
@@ -57,7 +57,7 @@ object TypeApplications {
       assert(argBoundss.length == variances.length)
       RefinedType(
         argRefinements(defn.LambdaTrait(variances).typeRef, 0, argBoundss),
-        tpnme.hkApply, rt => TypeAlias(bodyFn(rt), 1))
+        tpnme.hkApply, bodyFn(_).bounds.withVariance(1))
     }
 
     def unapply(tp: Type)(implicit ctx: Context): Option[(List[Int], List[TypeBounds], Type)] = tp match {

Original file line number	Diff line number	Diff line change
`@@ -57,7 +57,7 @@ object TypeApplications {`
`57`	`57`	`assert(argBoundss.length == variances.length)`
`58`	`58`	`RefinedType(`
`59`	`59`	`argRefinements(defn.LambdaTrait(variances).typeRef, 0, argBoundss),`
`60`		`- tpnme.hkApply, rt => TypeAlias(bodyFn(rt), 1))`
	`60`	`+ tpnme.hkApply, bodyFn(_).bounds.withVariance(1))`
`61`	`61`	`}`
`62`	`62`
`63`	`63`	`def unapply(tp: Type)(implicit ctx: Context): Option[(List[Int], List[TypeBounds], Type)] = tp match {`