Refine Erasure#transform

odersky · odersky · commit 7bbeb8237293 · 2017-11-19T21:37:51.000+01:00
JoinRefDenotations before erasure become UniqueRefDenotations after.
The former are no longer legal after erasure.
diff --git a/compiler/src/dotty/tools/dotc/transform/Erasure.scala b/compiler/src/dotty/tools/dotc/transform/Erasure.scala
@@ -85,7 +85,10 @@ class Erasure extends Phase with DenotTransformer {
           ref.copySymDenotation(symbol = newSymbol, owner = newOwner, initFlags = newFlags, info = newInfo)
         }
       }
-    case ref =>
+    case ref: JointRefDenotation =>
+      new UniqueRefDenotation(
+        ref.symbol, transformInfo(ref.symbol, ref.symbol.info), ref.validFor)
+    case _ =>
       ref.derivedSingleDenotation(ref.symbol, transformInfo(ref.symbol, ref.symbol.info))
   }
 

Original file line number	Diff line number	Diff line change
`@@ -85,7 +85,10 @@ class Erasure extends Phase with DenotTransformer {`
`85`	`85`	`ref.copySymDenotation(symbol = newSymbol, owner = newOwner, initFlags = newFlags, info = newInfo)`
`86`	`86`	`}`
`87`	`87`	`}`
`88`		`- case ref =>`
	`88`	`+ case ref: JointRefDenotation =>`
	`89`	`+ new UniqueRefDenotation(`
	`90`	`+ ref.symbol, transformInfo(ref.symbol, ref.symbol.info), ref.validFor)`
	`91`	`+ case _ =>`
`89`	`92`	`ref.derivedSingleDenotation(ref.symbol, transformInfo(ref.symbol, ref.symbol.info))`
`90`	`93`	`}`
`91`	`94`