diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-12-21 13:02:56 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-12-21 13:02:56 +0100 |
| commit | 2b411163b22adacc27239201b43aa119c6bd86a5 (patch) | |
| tree | aecc9d832e37a86a1db1c2a0f2c6a599ce4ed8b3 | |
| parent | ea86193b042abad6eff3ae6ee6db32c68b9daf8c (diff) | |
| download | dotty-2b411163b22adacc27239201b43aa119c6bd86a5.tar.gz dotty-2b411163b22adacc27239201b43aa119c6bd86a5.tar.bz2 dotty-2b411163b22adacc27239201b43aa119c6bd86a5.zip | |
Polishing
| -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 9a12d2635..b5282f90a 100644 --- a/src/dotty/tools/dotc/core/TypeApplications.scala +++ b/src/dotty/tools/dotc/core/TypeApplications.scala @@ -209,7 +209,7 @@ object TypeApplications { } val app1: RefinedType => Type = rt => tp1.appliedTo(argRefs(rt, tparams1.length)) val app2: RefinedType => Type = rt => tp2.appliedTo(argRefs(rt, tparams2.length)) - val body = (rt: RefinedType) => op(app1(rt), app2(rt)) + val body: RefinedType => Type = rt => op(app1(rt), app2(rt)) TypeLambda(variances, bounds, body) } } |