check initialization in community build

Author: liufengyun

community-build/src/scala/dotty/communitybuild/projects.scala

@@ -102,6 +102,7 @@ final case class SbtCommunityProject(
   private val baseCommand =
     "clean; set logLevel in Global := Level.Error; set updateOptions in Global ~= (_.withLatestSnapshots(false)); "
     ++ s"""set dependencyOverrides in ThisBuild ++= ${dependencyOverrides.mkString("Seq(", ", ", ")")}; """
+    ++ """set scalacOptions in Global += "-Ycheck-init";"""
     ++ s"++$compilerVersion!; "
 
   override val testCommand = s"$baseCommand$sbtTestCommand"

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

@@ -318,7 +318,7 @@ object Summarization {
               val ctor = cls.primaryConstructor
               val prefixEff =
                 if tref.prefix == NoPrefix then Effects.empty
-                else Summarization.analyze(New(ref.tpe))(env.withOwner(ctor.owner)).effs
+                else Summarization.analyze(tref.prefix, ref)(env.withOwner(ctor.owner)).effs
 
               prefixEff +  MethodCall(ThisRef()(ref), ctor)(ref)
             }

compiler/test/dotty/tools/dotc/CompilationTests.scala

@@ -39,7 +39,7 @@ class CompilationTests {
       compileFilesInDir("tests/new", defaultOptions),
       compileFilesInDir("tests/pos-scala2", scala2CompatMode),
       compileFilesInDir("tests/pos-custom-args/erased", defaultOptions.and("-Yerased-terms")),
-      compileFilesInDir("tests/pos", defaultOptions),
+      compileFilesInDir("tests/pos", defaultOptions.and("-Ycheck-init")),
       compileFilesInDir("tests/pos-deep-subtype", allowDeepSubtypes),
       compileFile(
         // succeeds despite -Xfatal-warnings because of -nowarn
@@ -184,7 +184,7 @@ class CompilationTests {
       compileFile("tests/run-custom-args/defaults-serizaliable-no-forwarders.scala", defaultOptions and "-Xmixin-force-forwarders:false"),
       compileFilesInDir("tests/run-custom-args/erased", defaultOptions.and("-Yerased-terms")),
       compileFilesInDir("tests/run-deep-subtype", allowDeepSubtypes),
-      compileFilesInDir("tests/run", defaultOptions)
+      compileFilesInDir("tests/run", defaultOptions.and("-Ycheck-init"))
     ).checkRuns()
   }