Fix bug in typer erasure's transformInfo

odersky · odersky · commit c6425f0e1031 · 2015-05-27T19:17:10.000+02:00
()Unit  translates to   ()BoxedUnit   not   BoxedUnit.
diff --git a/src/dotty/tools/dotc/core/TypeErasure.scala b/src/dotty/tools/dotc/core/TypeErasure.scala
@@ -164,7 +164,7 @@ object TypeErasure {
     else if (sym.isConstructor) outer.addParam(sym.owner.asClass, erase(tp)(erasureCtx))
     else erase.eraseInfo(tp, sym)(erasureCtx) match {
       case einfo: MethodType if sym.isGetter && einfo.resultType.isRef(defn.UnitClass) =>
-        defn.BoxedUnitClass.typeRef
+        MethodType(Nil, Nil, defn.BoxedUnitClass.typeRef)
       case einfo =>
         einfo
     }

Original file line number	Diff line number	Diff line change
`@@ -164,7 +164,7 @@ object TypeErasure {`
`164`	`164`	`else if (sym.isConstructor) outer.addParam(sym.owner.asClass, erase(tp)(erasureCtx))`
`165`	`165`	`else erase.eraseInfo(tp, sym)(erasureCtx) match {`
`166`	`166`	`case einfo: MethodType if sym.isGetter && einfo.resultType.isRef(defn.UnitClass) =>`
`167`		`- defn.BoxedUnitClass.typeRef`
	`167`	`+ MethodType(Nil, Nil, defn.BoxedUnitClass.typeRef)`
`168`	`168`	`case einfo =>`
`169`	`169`	`einfo`
`170`	`170`	`}`