Be lenient for length of outer selection

Author: liufengyun

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

@@ -110,7 +110,8 @@ object Potentials {
    *        and may be potentially faster.
    */
   case class Outer(pot: Potential, classSymbol: ClassSymbol)(val source: Tree) extends Potential {
-    def size: Int = 1 + pot.size
+    // be lenient with size of outer selection, no worry for non-termination
+    def size: Int = pot.size
     def show(using Context): String = pot.show + ".outer[" + classSymbol.show + "]"
   }
 

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

@@ -259,6 +259,7 @@ object Summarization {
     else {
       val pot2 = Outer(pot, cur)(pot.source)
       val enclosing = cur.owner.lexicallyEnclosingClass.asClass
+      assert(!enclosing.is(Flags.Package), "enclosing = " + enclosing.show + ", cls = " + cls.show + ", pot = " + pot.show + ", cur = " + cur.show)
       resolveThis(cls, pot2, enclosing, source)
     }
   }