Compute the original qualifier type before erasure

The original qualifier type was computed in the wrong context. For the logic to make sense, it needs to compute the type before erasure and then erase that type. That fixes #17391 by now compiling it correctly, the same way Scala 2 does.
scala · Jun 26, 2023 · 996bb15 · 996bb15
1 parent 8231a48
commit 996bb15
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 1 deletion.
diff --git a/compiler/src/dotty/tools/dotc/transform/Erasure.scala b/compiler/src/dotty/tools/dotc/transform/Erasure.scala
@@ -764,7 +764,9 @@ object Erasure {
         val symIsPrimitive = sym.owner.isPrimitiveValueClass
 
         def originalQual: Type =
-          erasure(tree.qualifier.typeOpt.widen.finalResultType)
+          erasure(
+            inContext(preErasureCtx):
+              tree.qualifier.typeOpt.widen.finalResultType)
 
         if (qualIsPrimitive && !symIsPrimitive || qual.tpe.widenDealias.isErasedValueType)
           recur(box(qual))

diff --git a/tests/neg/i17391/Bar.java → tests/pos/i17391/Bar.java b/tests/neg/i17391/Bar.java → tests/pos/i17391/Bar.java
diff --git a/tests/neg/i17391/test.scala → tests/pos/i17391/test.scala b/tests/neg/i17391/test.scala → tests/pos/i17391/test.scala