diff options
author | Martin Odersky <odersky@gmail.com> | 2015-12-01 11:08:15 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-12-06 16:09:19 +0100 |
commit | 4c8db87e499e3a0f56a89ed0824b27230db32997 (patch) | |
tree | 3a8c017adbf580f086add2a99a0801c71d696404 /src/dotty/tools/dotc/core/TypeApplications.scala | |
parent | cf794033ae42df0251fe2bc60051cb7dafb38023 (diff) | |
download | dotty-4c8db87e499e3a0f56a89ed0824b27230db32997.tar.gz dotty-4c8db87e499e3a0f56a89ed0824b27230db32997.tar.bz2 dotty-4c8db87e499e3a0f56a89ed0824b27230db32997.zip |
Don't count partial applications as applications.
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 661975dab..1c1717649 100644 --- a/src/dotty/tools/dotc/core/TypeApplications.scala +++ b/src/dotty/tools/dotc/core/TypeApplications.scala @@ -389,7 +389,7 @@ class TypeApplications(val self: Type) extends AnyVal { else new mutable.ListBuffer[Type] } val buf = recur(self, 0) - if (buf == null) Nil else buf.toList + if (buf == null || buf.size != tparams.length) Nil else buf.toList } /** Argument types where existential types in arguments are disallowed */ |