diff options
author | Martin Odersky <odersky@gmail.com> | 2014-12-16 17:10:46 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-12-16 17:10:46 +0100 |
commit | 7c22c0dd3449336877e83ed4aaee0400d8189475 (patch) | |
tree | 0315a7d6446322bd670cdb10f5ae3b17d2c3eb47 /src/dotty/tools/dotc/TypeErasure.scala | |
parent | 21fa5dd1a47727c977848163e2610be745951dbc (diff) | |
download | dotty-7c22c0dd3449336877e83ed4aaee0400d8189475.tar.gz dotty-7c22c0dd3449336877e83ed4aaee0400d8189475.tar.bz2 dotty-7c22c0dd3449336877e83ed4aaee0400d8189475.zip |
Fix problem with by name params in mixed in methods.
Erasure choked on them before.
Diffstat (limited to 'src/dotty/tools/dotc/TypeErasure.scala')
-rw-r--r-- | src/dotty/tools/dotc/TypeErasure.scala | 15 |
1 files changed, 11 insertions, 4 deletions
diff --git a/src/dotty/tools/dotc/TypeErasure.scala b/src/dotty/tools/dotc/TypeErasure.scala index de956ca6a..973e50e8e 100644 --- a/src/dotty/tools/dotc/TypeErasure.scala +++ b/src/dotty/tools/dotc/TypeErasure.scala @@ -119,7 +119,8 @@ object TypeErasure { * treated. `eraseInfo` maps them them to nullary method types, whereas `erasure` maps them * to `Function0`. */ - def eraseInfo(tp: Type)(implicit ctx: Context): Type = scalaErasureFn.eraseInfo(tp)(erasureCtx) + def eraseInfo(tp: Type, sym: Symbol)(implicit ctx: Context): Type = + scalaErasureFn.eraseInfo(tp, sym)(erasureCtx) /** The erasure of a function result type. Differs from normal erasure in that * Unit is kept instead of being mapped to BoxedUnit. @@ -145,7 +146,7 @@ object TypeErasure { if (defn.isPolymorphicAfterErasure(sym)) eraseParamBounds(sym.info.asInstanceOf[PolyType]) else if (sym.isAbstractType) TypeAlias(WildcardType) else if (sym.isConstructor) outer.addParam(sym.owner.asClass, erase(tp)(erasureCtx)) - else eraseInfo(tp)(erasureCtx) match { + else eraseInfo(tp, sym)(erasureCtx) match { case einfo: MethodType if sym.isGetter && einfo.resultType.isRef(defn.UnitClass) => defn.BoxedUnitClass.typeRef case einfo => @@ -347,8 +348,14 @@ class TypeErasure(isJava: Boolean, isSemi: Boolean, isConstructor: Boolean, wild else JavaArrayType(this(elemtp)) } - def eraseInfo(tp: Type)(implicit ctx: Context) = tp match { - case ExprType(rt) => MethodType(Nil, Nil, eraseResult(rt)) + def eraseInfo(tp: Type, sym: Symbol)(implicit ctx: Context) = tp match { + case ExprType(rt) => + if (sym is Param) apply(tp) + // Note that params with ExprTypes are eliminated by ElimByName, + // but potentially re-introduced by ResolveSuper, when we add + // forwarders to mixin methods. + // See doc comment for ElimByName for speculation how we could improve this. + else MethodType(Nil, Nil, eraseResult(rt)) case tp => erasure(tp) } |