Fix handling of AppliedType aliases in outerPrefix

odersky · odersky · commit 6841c7565244 · 2024-04-15T15:36:06.000+02:00
Fixes #10184 The overlooked case was an AppliedType where we don't dealias correctly (i.e. at phase at most erasure).
diff --git a/compiler/src/dotty/tools/dotc/transform/ExplicitOuter.scala b/compiler/src/dotty/tools/dotc/transform/ExplicitOuter.scala
@@ -360,7 +360,7 @@ object ExplicitOuter {
           // macro generated code to be able to pinpoint the root problem.
       }
     case tpe: TypeProxy =>
-      outerPrefix(tpe.underlying)
+      atPhaseNoLater(erasurePhase)(outerPrefix(tpe.superType))
   }
 
   /** It's possible (i1755.scala gives an example) that the type

Original file line number	Diff line number	Diff line change
`@@ -360,7 +360,7 @@ object ExplicitOuter {`
`360`	`360`	`// macro generated code to be able to pinpoint the root problem.`
`361`	`361`	`}`
`362`	`362`	`case tpe: TypeProxy =>`
`363`		`- outerPrefix(tpe.underlying)`
	`363`	`+ atPhaseNoLater(erasurePhase)(outerPrefix(tpe.superType))`
`364`	`364`	`}`
`365`	`365`
`366`	`366`	`/** It's possible (i1755.scala gives an example) that the type`