Merge pull request #10314 from dotty-staging/fix-#10253

Fix #10253: Fix result type of outer accessors

Author: nicolasstucki

compiler/src/dotty/tools/dotc/transform/ExplicitOuter.scala

@@ -169,12 +169,14 @@ object ExplicitOuter {
   private def newOuterSym(owner: ClassSymbol, cls: ClassSymbol, name: TermName, flags: FlagSet)(using Context) = {
     val outerThis = owner.owner.enclosingClass.thisType
     val outerCls = outerClass(cls)
+    val prefix = owner.thisType.baseType(cls).normalizedPrefix
     val target =
       if (owner == cls)
         outerCls.appliedRef
       else
         outerThis.baseType(outerCls).orElse(
-  		    outerCls.typeRef.appliedTo(outerCls.typeParams.map(_ => TypeBounds.empty)))
+          if prefix == NoPrefix then outerCls.typeRef.appliedTo(outerCls.typeParams.map(_ => TypeBounds.empty))
+          else prefix.widen)
     val info = if (flags.is(Method)) ExprType(target) else target
     atPhaseNoEarlier(explicitOuterPhase.next) { // outer accessors are entered at explicitOuter + 1, should not be defined before.
       newSymbol(owner, name, Synthetic | flags, info, coord = cls.coord)

tests/pos/i10253.scala

@@ -0,0 +1,9 @@
+object test:
+  def foo(qc: QC): Unit =
+    object treeMap extends qc.reflect.TreeMap
+
+trait QC:
+  val reflect: Reflection
+  trait Reflection:
+    trait TreeMap:
+      def transformTree: Unit = ???