GenericSignatures needs to consult erasedToObject

odersky · odersky · commit 4fe45ba05ef2 · 2018-09-06T19:41:06.000+02:00
Used to hard-code Any/AnyVal/Signature before.
diff --git a/compiler/src/dotty/tools/dotc/transform/GenericSignatures.scala b/compiler/src/dotty/tools/dotc/transform/GenericSignatures.scala
@@ -198,7 +198,7 @@ object GenericSignatures {
             assert(!sym.isAliasType, "Unexpected alias type: " + sym)
             typeParamSig(sym.name.lastPart)
           }
-          else if (sym == defn.AnyClass || sym == defn.AnyValClass || sym == defn.SingletonClass)
+          else if (defn.erasedToObject.contains(sym))
             jsig(defn.ObjectType)
           else if (sym == defn.UnitClass || sym == defn.BoxedUnitModule)
             jsig(defn.BoxedUnitType)

Original file line number	Diff line number	Diff line change
`@@ -198,7 +198,7 @@ object GenericSignatures {`
`198`	`198`	`assert(!sym.isAliasType, "Unexpected alias type: " + sym)`
`199`	`199`	`typeParamSig(sym.name.lastPart)`
`200`	`200`	`}`
`201`		`- else if (sym == defn.AnyClass \|\| sym == defn.AnyValClass \|\| sym == defn.SingletonClass)`
	`201`	`+ else if (defn.erasedToObject.contains(sym))`
`202`	`202`	`jsig(defn.ObjectType)`
`203`	`203`	`else if (sym == defn.UnitClass \|\| sym == defn.BoxedUnitModule)`
`204`	`204`	`jsig(defn.BoxedUnitType)`