Merge pull request #9673 from dotty-staging/fix-9670

Fix #9670: handle local class in parent effects

Author: bishabosha

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

@@ -309,7 +309,7 @@ object Summarization {
             if (cls == defn.AnyClass || cls == defn.AnyValClass) Effects.empty
             else {
               val ctor = cls.primaryConstructor
-              Summarization.analyze(tref.prefix, ref)._2 +
+              Summarization.analyze(New(ref.tpe))(env.withOwner(ctor.owner))._2 +
                 MethodCall(ThisRef()(ref), ctor)(ref)
             }
         })

tests/init/crash/i9670.scala

@@ -0,0 +1,9 @@
+object Outer {
+  def foo = {
+    trait Mixin
+    class E extends Mixin
+    object SomeObject {
+      val A = E()
+    }
+  }
+}