Fix tests

Author: liufengyun

compiler/src/dotty/tools/dotc/core/Symbols.scala

@@ -83,7 +83,8 @@ object Symbols {
       ctx.settings.YretainTrees.value ||
       denot.owner.isTerm ||                // no risk of leaking memory after a run for these
       denot.isOneOf(InlineOrProxy) ||      // need to keep inline info
-      ctx.settings.YcheckInit.value        // initialization check
+      ctx.settings.YcheckInit.value ||     // initialization check
+      ctx.settings.YcheckInitGlobal.value
 
     /** The last denotation of this symbol */
     private var lastDenot: SymDenotation = _

tests/init-global/neg/context-sensitivity.scala

@@ -1,18 +1,17 @@
-import reflect.Selectable.reflectiveSelectable
+trait Foo:
+  def foo(): Int
 
-class C(var x: Int) {
+class C(var x: Int) extends Foo {
   def foo(): Int = 20
 }
 
-class D(var y: Int) {
-  def foo(): Int = A.m
+class D(var y: Int) extends Foo {
+  def foo(): Int = A.m  // error
 }
 
-class Box(var value: {
-  def foo(): Int
-})
+class Box(var value: Foo)
 
 object A:
   val box1: Box = new Box(new C(5))
   val box2: Box = new Box(new D(10))
-  val m: Int = box1.value.foo() // error
+  val m: Int = box1.value.foo()

tests/init-global/neg/global-by-name.scala

@@ -1,4 +1,4 @@
--- Error: tests/init/neg/global-cycle1.scala:1:7 -----------------------------------------------------------------------
+-- Error: tests/init-global/neg/global-cycle1.scala:1:7 ----------------------------------------------------------------
 1 |object A {             // error
   |^
   |Cyclic initialization: object A -> object B -> object A. Calling trace:
@@ -8,7 +8,15 @@
   |                ^
   |-> object B {	[ global-cycle1.scala:5 ]
   |   ^
-  |-> val b: Int = A.a	[ global-cycle1.scala:6 ]
+  |-> val b: Int = A.a     // error	[ global-cycle1.scala:6 ]
   |                ^
 2 |  val a: Int = B.b
 3 |}
+-- Error: tests/init-global/neg/global-cycle1.scala:6:17 ---------------------------------------------------------------
+6 |  val b: Int = A.a     // error
+  |               ^^^
+  |               Access uninitialized field value a. Call trace: 
+  |               -> object B {	[ global-cycle1.scala:5 ]
+  |                  ^
+  |               -> val b: Int = A.a     // error	[ global-cycle1.scala:6 ]
+  |                               ^^^

tests/init-global/neg/global-cycle1.check

@@ -3,7 +3,7 @@ object A {             // error
 }
 
 object B {
-  val b: Int = A.a
+  val b: Int = A.a     // error
 }
 
 @main

tests/init-global/neg/global-cycle1.scala

@@ -0,0 +1,7 @@
+object A {
+  val a: Int = B.foo()
+}
+
+object B {
+  def foo(): Int = A.a * 2  // error
+}

tests/init-global/neg/global-cycle2.scala

@@ -0,0 +1,7 @@
+class A(x: Int) {
+  def foo(): Int = B.a + 10  // error
+}
+
+object B {
+  val a: Int = A(4).foo()
+}

tests/init-global/neg/global-cycle3.scala

@@ -7,13 +7,13 @@ class B extends A {
 }
 
 class C extends A {
-  def foo(): Int = O.a + 10
+  def foo(): Int = O.a + 10       // error
 }
 
 class D(x: Int) {
   def bar(): A = if x > 0 then new B else new C
 }
 
-object O {                       // error
+object O {
   val a: Int = D(5).bar().foo()
 }

tests/init-global/pos/global-cycle4.scala renamed to tests/init-global/neg/global-cycle4.scala

@@ -7,7 +7,7 @@ object A {
 }
 
 object B {
-  val b: Int = A.a.foo()
+  val b: Int = A.a.foo()  // error
 }
 
 class Y extends X {
@@ -19,5 +19,5 @@ object C {
 }
 
 def main = {
-  A.a = new Y(); C // error
+  A.a = new Y(); C
 }

tests/init-global/neg/global-cycle5.scala

@@ -12,7 +12,7 @@ object O {           // error
 }
 
 object P {
-  val m = Q.bar(new B: @annotation.init.expose)
+  val m = Q.bar(new B)
 }
 
 object Q {

tests/init-global/neg/global-cycle8.scala

@@ -1,5 +1,3 @@
-import scala.annotation.init
-
 object A:
   class Pair(val f: Int => Unit, val g: () => Int)
   val p: Pair = foo()
@@ -8,7 +6,7 @@ object A:
     var x = 6
     new Pair(
       y => x = y,
-      (() => x): @init.expose   // error
+      (() => x)   // error
     )
 
 

tests/init-global/neg/global-fun.scala

@@ -1,13 +1,11 @@
-import scala.annotation.init
-
 object A:
   class Pair(val f: Int => Unit, val g: () => Int)
   val p: Pair = foo()
 
   def foo(): Pair =
     var x = 6
     new Pair(
-      (y => x = y): @init.expose,   // error
+      (y => x = y),   // error
       () => x
     )
 

tests/init-global/neg/global-irrelevance3.scala

@@ -1,5 +1,3 @@
-import scala.annotation.init
-
 class Box(x: Int):
   def foo(): Int = 100
 

tests/init-global/neg/global-irrelevance4.scala

@@ -1,11 +1,9 @@
-import scala.annotation.init
-
 class Box(x: Int):
   def foo(): Int = 100
 
 object A:
   val array: Array[Box] = new Array(1)
-  array(0) = new Box(10): @init.expose
+  array(0) = new Box(10)
   val n = array(0).foo()  // ok
 
 object B:

tests/init-global/neg/global-irrelevance6.scala

@@ -1,9 +1,9 @@
 case class Foo(name: String)
 
-object O:
+object O:                  // error
   val a = Foo("Apple")
   val b = Foo("Banana")
   val c = Foo("Cherry")
 
 object Foo:
-  val all: List[Foo] = List(O.a, O.b, O.c) // error
+  val all: List[Foo] = List(O.a, O.b, O.c) // error // error // error

tests/init-global/neg/global-irrelevance7.scala

@@ -7,7 +7,7 @@ class A(x: Int) {
       sum += i
       i += 1
 
-    B.a + 10 + sum
+    B.a + 10 + sum    // error
   }
 }
 

tests/init-global/neg/global-list.scala

@@ -1,11 +1,9 @@
-import scala.annotation.init
-
 trait B { def foo(): Int }
 class C(var x: Int) extends B { def foo(): Int = 20 }
 class D(var y: Int) extends B { def foo(): Int = A.m }    // error
 class Box(var value: B)
 
 object A:
-  val box1: Box = new Box(new C(5): @init.expose)
-  val box2: Box = new Box(new D(10): @init.expose)
+  val box1: Box = new Box(new C(5))
+  val box2: Box = new Box(new D(10))
   val m: Int = box1.value.foo()

tests/init-global/pos/global-local-var.scala renamed to tests/init-global/neg/global-local-var.scala

@@ -1,2 +1,2 @@
 object A { val x: String = B.y }  // error
-object B { val y: String = A.x }
+object B { val y: String = A.x }  // error

tests/init-global/neg/global-region1.scala

@@ -5,7 +5,7 @@ object Enum:
   object nested:              // error
     val a: Enum = Case
 
-  val b: Enum = f(nested.a)
+  val b: Enum = f(nested.a)   // error
 
   def f(e: Enum): Enum = e
 

tests/init-global/neg/i11262.scala

@@ -3,6 +3,7 @@ object A:
   val box: Box = new Box(0)
 
 object B:
-  val boxes: Array[A.Box] = Array(A.box)
+  val boxes: Array[A.Box] = new Array(1)
+  boxes(0) = A.box
   val box: A.Box = boxes(0)
   val x: Int = box.value // error

tests/init-global/neg/i12544b.scala

@@ -1,8 +1,8 @@
-object Names:
+object Names:                      // error
   val ctorString = "<init>"
   val ctorName: MethodName = MethodName.apply(ctorString)
 
 class MethodName(encoded: String)
 object MethodName:
-  val ctor: MethodName = new MethodName(Names.ctorString) // error
+  val ctor: MethodName = new MethodName(Names.ctorString)
   def apply(name: String): MethodName = new MethodName(name)

tests/init-global/neg/mutable-read3.scala

@@ -1,5 +1,3 @@
-import scala.annotation.init
-
 def time[A](f: => A): A =
   val start = System.nanoTime
   val res = f
@@ -9,5 +7,5 @@ def time[A](f: => A): A =
 case class Foo(data: Int)
 
 object o:
-  val foo = time(Foo(3): @init.expose)
+  val foo = time(Foo(3))
   println(foo.data)

tests/init-global/neg/partial-ordering.scala

@@ -1,15 +1,13 @@
-import scala.annotation.init
-
 class C:
   def double(x: Int): Int = x * 2
 
 object A:
   val n: Int = 10
-  val f: C => Int  = foo(n: @init.expose)
+  val f: C => Int  = foo(n)
 
   def foo(x: Int): C => Int =
-    c => c.double(x: @init.expose)
+    c => c.double(x)
 
 
 object B:
-  var y = A.f(new C: @init.expose)
+  var y = A.f(new C)

tests/init-global/pos/global-by-name.scala

@@ -6,6 +6,6 @@ class D(var y: Int) extends B { def foo(): Int = A.m }
 class Box(var value: B)
 
 object A:
-  val box1: Box = new Box(new C(5): @init.expose): @init.region
-  val box2: Box = new Box(new D(10): @init.expose): @init.region
+  val box1: Box = new Box(new C(5)): @init.region
+  val box2: Box = new Box(new D(10)): @init.region
   val m: Int = box1.value.foo()                      // ok

tests/init-global/pos/global-cycle2.scala

@@ -3,10 +3,9 @@ object NameKinds:
     class Info
   class QualifiedNameKind(tag: Int, val separator: String) extends NameKind(tag):
     qualifiedNameKinds(tag) = this // error
-  
 
   val MAX_TAG = 8
   val qualifiedNameKinds = new Array[QualifiedNameKind](MAX_TAG)
 
   val QualifiedName: QualifiedNameKind = new QualifiedNameKind(0, ".")
-  val FlatName: QualifiedNameKind = new QualifiedNameKind(1, "$")
+  val FlatName: QualifiedNameKind = new QualifiedNameKind(1, "$")