diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-12-03 16:12:11 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-12-06 16:09:22 +0100 |
| commit | 130c24c233e0b2b41be8e11ece1bd4cd6ebff00f (patch) | |
| tree | 77baa171d2b6e18e085465417285063c833d4439 /src/dotty/tools/dotc/core/TypeApplications.scala | |
| parent | 8db7a9b8914e0f66207db9d998f1186f8e195f85 (diff) | |
| download | dotty-130c24c233e0b2b41be8e11ece1bd4cd6ebff00f.tar.gz dotty-130c24c233e0b2b41be8e11ece1bd4cd6ebff00f.tar.bz2 dotty-130c24c233e0b2b41be8e11ece1bd4cd6ebff00f.zip | |
Fix to TypeLambda over with a TypeBounds body
Taking typeAlias is illegal in that case.
Diffstat (limited to 'src/dotty/tools/dotc/core/TypeApplications.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/TypeApplications.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/TypeApplications.scala b/src/dotty/tools/dotc/core/TypeApplications.scala index 5f7b730d2..d45e11d59 100644 --- 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 { |