Fix owner for summarizing potentials of outer prefixes

Author: liufengyun

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

@@ -53,7 +53,9 @@ object Checking {
    *  However, summarization can be done lazily on-demand to improve
    *  performance.
    */
-  def checkClassBody(cdef: TypeDef)(implicit state: State): Unit = traceOp("checking " + cdef.symbol.show, init) {
+  def checkClassBody(cdef: TypeDef)(implicit state: State): Unit = {
+    traceIndented("\n\n>>>> checking " + cdef.symbol.show, init)
+
     val cls = cdef.symbol.asClass
     val tpl = cdef.rhs.asInstanceOf[Template]
 

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

@@ -327,10 +327,11 @@ object Summarization {
     def extractParentOuters(parent: Type, source: Tree): (ClassSymbol, Potentials) = {
       val tref = parent.typeConstructor.stripAnnots.asInstanceOf[TypeRef]
       val parentCls = tref.classSymbol.asClass
+      val env2: Env = env.withOwner(cls.owner.lexicallyEnclosingClass)
       if (tref.prefix != NoPrefix)
-        parentCls -> analyze(tref.prefix, source)(env.withOwner(cls))._1
+        parentCls -> analyze(tref.prefix, source)(env2)._1
       else
-        parentCls -> analyze(cls.owner.lexicallyEnclosingClass.thisType, source)(env.withOwner(cls))._1
+        parentCls -> analyze(cls.owner.lexicallyEnclosingClass.thisType, source)(env2)._1
     }
 
     if (cls.defTree.isEmpty)