diff options
author | Martin Odersky <odersky@gmail.com> | 2014-12-05 14:24:06 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-12-05 14:36:56 +0100 |
commit | 45fd08763fa9f1a45114ce8cd6125e6a83bf3409 (patch) | |
tree | dfa5cf37aac42abaffcf7299bfb9da847f9d02cf /src/dotty/tools/dotc/core/Definitions.scala | |
parent | 86eb1bb2b5f9ddd9ed8ff45fc304e29c5f6c668d (diff) | |
download | dotty-45fd08763fa9f1a45114ce8cd6125e6a83bf3409.tar.gz dotty-45fd08763fa9f1a45114ce8cd6125e6a83bf3409.tar.bz2 dotty-45fd08763fa9f1a45114ce8cd6125e6a83bf3409.zip |
Fix erasure of trait info
After erasure, traits always extend object, and no other class.
The change flushed out three more problems, one in the handling of
Super trees in erasure, another in bridge method generation. and a
third that class RepeatedParam had Seq, which is a trait, as first parent.
Diffstat (limited to 'src/dotty/tools/dotc/core/Definitions.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/Definitions.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/Definitions.scala b/src/dotty/tools/dotc/core/Definitions.scala index 14baa0b96..895d41516 100644 --- a/src/dotty/tools/dotc/core/Definitions.scala +++ b/src/dotty/tools/dotc/core/Definitions.scala @@ -262,7 +262,7 @@ class Definitions { lazy val ByNameParamClass2x = specialPolyClass(tpnme.BYNAME_PARAM_CLASS, Covariant, AnyType) lazy val EqualsPatternClass = specialPolyClass(tpnme.EQUALS_PATTERN, EmptyFlags, AnyType) - lazy val RepeatedParamClass = specialPolyClass(tpnme.REPEATED_PARAM_CLASS, Covariant, SeqType) + lazy val RepeatedParamClass = specialPolyClass(tpnme.REPEATED_PARAM_CLASS, Covariant, ObjectType, SeqType) // fundamental classes lazy val StringClass = ctx.requiredClass("java.lang.String") |