Only conduct check on objects with source

Author: EnzeXing

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

@@ -1460,7 +1460,9 @@ class Objects(using Context @constructorOnly):
     if classSym.hasSource then
       State.checkObjectAccess(classSym)
     else
-      ObjectRef(classSym)
+      val obj = ObjectRef(classSym)
+      obj.setAfterSuperCall()
+      obj
   }
 
 

tests/init-global/warn/call-before-super3.scala

@@ -1,9 +1,9 @@
-abstract class Foo[T](defaultValue: => T, arg1: Int = 1, arg2: Int = 2):
-  def getValue: T = defaultValue
+class C(i: Int = 42, j: Int = 27) {
+  val f = X.foo() // warn
+}
 
-enum Baz:
-  case E1, E2 // warn
+object X extends C(j = 5):
+  def foo() = 5
 
-object Baz extends Foo[Baz](Baz.E1, arg2 = 2) // warn
-
-@main def test = println(Baz.getValue)
+@main def test = println:
+  X

tests/init-global/warn/call-before-super4.scala

@@ -18,3 +18,13 @@
   |               │   ^
   |               └── val m: Int = A.n // warn	[ global-cycle7.scala:6 ]
   |                                ^^^
+-- Warning: /Users/enzexing/IdeaProjects/dotty-staging/dotty/tests/init-global/warn/global-cycle7.scala:12:66
+12 |  val tokenString, debugString: Array[String] = new Array[String](maxToken + 1)
+   |                                                                  ^^^^^^^^
+   |Calling method maxToken of object module class JavaTokens$ before the super constructor of the object finishes! Calling trace:
+   |├── object JavaTokens extends TokensCommon {	[ global-cycle7.scala:15 ]
+   |│   ^
+   |├── abstract class TokensCommon {	[ global-cycle7.scala:9 ]
+   |│   ^
+   |└── val tokenString, debugString: Array[String] = new Array[String](maxToken + 1)	[ global-cycle7.scala:12 ]
+   |                                                                    ^^^^^^^^

tests/init-global/warn/global-cycle7.check

@@ -9,7 +9,7 @@ object B {
 abstract class TokensCommon {
   def maxToken: Int
 
-  val tokenString, debugString: Array[String] = new Array[String](maxToken + 1)
+  val tokenString, debugString: Array[String] = new Array[String](maxToken + 1) // warn
 }
 
 object JavaTokens extends TokensCommon {