diff options
author | Martin Odersky <odersky@gmail.com> | 2015-01-28 16:31:42 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-02-07 17:32:47 +0100 |
commit | 86735bf73de4a165a46ce6215af2e7a814adb9f4 (patch) | |
tree | aa5abf08ea00e68f0821323214cf0dd4cf7f574c /src/dotty/tools/dotc/core/TypeApplications.scala | |
parent | 945576e421e5f7dc82984c4673884ad4c7ddf969 (diff) | |
download | dotty-86735bf73de4a165a46ce6215af2e7a814adb9f4.tar.gz dotty-86735bf73de4a165a46ce6215af2e7a814adb9f4.tar.bz2 dotty-86735bf73de4a165a46ce6215af2e7a814adb9f4.zip |
Tweaks to matches
1) Drop redundant signature comparison in overriding pairs
2) Abstract from repeated parameters when calculating matches
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 998b4f944..4a16ca45d 100644 --- a/src/dotty/tools/dotc/core/TypeApplications.scala +++ b/src/dotty/tools/dotc/core/TypeApplications.scala @@ -285,7 +285,7 @@ class TypeApplications(val self: Type) extends AnyVal { */ def underlyingIfRepeated(isJava: Boolean)(implicit ctx: Context): Type = if (self.isRepeatedParam) { - val seqClass = if(isJava) defn.ArrayClass else defn.SeqClass + val seqClass = if (isJava) defn.ArrayClass else defn.SeqClass translateParameterized(defn.RepeatedParamClass, seqClass) } else self |