Use lexicallyEnclosingClass instead of enclosingClass

enclosingClass returns a different report for module objects.

Author: liufengyun

compiler/src/dotty/tools/dotc/transform/init/Potentials.scala

@@ -109,7 +109,7 @@ object Potentials {
    */
   case class Outer(pot: Potential, classSymbol: ClassSymbol)(val source: Tree) extends Potential {
     def size: Int = 1 + pot.size
-    def show(using Context): String = "Outer[" + pot.show + ", " + classSymbol.show + "]"
+    def show(using Context): String = pot.show + ".outer[" + classSymbol.show + "]"
   }
 
   /** The object pointed by `this.f` */

compiler/src/dotty/tools/dotc/transform/init/Summarization.scala

@@ -220,7 +220,7 @@ object Summarization {
         }
 
       case ThisType(tref) =>
-        val enclosing = env.ctx.owner.enclosingClass.asClass
+        val enclosing = env.ctx.owner.lexicallyEnclosingClass.asClass
         val cls = tref.symbol.asClass
         resolveThis(cls, ThisRef()(source), enclosing, source)
 
@@ -252,13 +252,15 @@ object Summarization {
   }
 
   def resolveThis(cls: ClassSymbol, pot: Potential, cur: ClassSymbol, source: Tree)(implicit env: Env): Summary =
+  trace("resolve " + cls.show + ", pot = " + pot.show + ", cur = " + cur.show, init, s => Summary.show(s.asInstanceOf[Summary])) {
     if (cls.is(Flags.Package)) (Potentials.empty, Effects.empty)
     else if (cls == cur) (pot.toPots, Effects.empty)
     else if (pot.size > 2) (Potentials.empty, Promote(pot)(source).toEffs)
     else {
       val pot2 = Outer(pot, cur)(pot.source)
-      resolveThis(cls, pot2, cur.enclosingClass.asClass, source)
+      resolveThis(cls, pot2, cur.lexicallyEnclosingClass.asClass, source)
     }
+  }
 
   /** Summarize secondary constructors or class body */
   def analyzeConstructor(ctor: Symbol)(implicit env: Env): Summary =