Update check files

Author: EnzeXing

tests/init-global/warn/TypeCast.check

@@ -0,0 +1,10 @@
+-- Warning: tests/init-global/warn/TypeCast.scala:7:17 -----------------------------------------------------------------
+7 |  def g(): Int = f // warn
+  |                 ^
+  |                 Access uninitialized field value f. Calling trace:
+  |                 ├── object B {	[ TypeCast.scala:5 ]
+  |                 │   ^
+  |                 ├── val f: Int = g()	[ TypeCast.scala:6 ]
+  |                 │                ^^^
+  |                 └── def g(): Int = f // warn	[ TypeCast.scala:7 ]
+  |                                    ^

tests/init-global/warn/TypeCast.scala

@@ -0,0 +1,18 @@
+object A {
+  val f: Int = 10
+  def m() = f
+}
+object B {
+  val f: Int = g()
+  def g(): Int = f // warn
+}
+object C {
+  val a: A.type | B.type = if ??? then A else B
+  def cast[T](a: Any): T = a.asInstanceOf[T]
+  val c: A.type = cast[A.type](a) // abstraction for c is {A, B}
+  val d = c.f // treat as c.asInstanceOf[owner of f].f
+  val e = c.m() // treat as c.asInstanceOf[owner of f].m()
+  val c2: B.type = cast[B.type](a)
+  val g = c2.f // no error here
+}
+

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

@@ -7,3 +7,6 @@
    |│   ^
    |└── val b: Int = A.a.foo() // warn	[ global-cycle5.scala:10 ]
    |                 ^^^
+   |The mutable state is created through: Calling trace:
+   |└── object A {	[ global-cycle5.scala:5 ]
+   |    ^

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

@@ -7,3 +7,6 @@
   |│   ^
   |└── var y = A.x * 2 // warn	[ global-irrelevance1.scala:5 ]
   |            ^^^
+  |The mutable state is created through: Calling trace:
+  |└── object A:	[ global-irrelevance1.scala:1 ]
+  |    ^

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

@@ -11,3 +11,6 @@
   |  │   ^
   |  └── A.x =  b * 2 // warn	[ global-irrelevance2.scala:5 ]
   |      ^^^^^^^^^^^^
+  |  The mutable state is created through: Calling trace:
+  |  └── object A:	[ global-irrelevance2.scala:1 ]
+  |      ^

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

@@ -9,3 +9,4 @@
   |│           ^^^^^^^
   |└── (() => x) // warn	[ global-irrelevance3.scala:9 ]
   |           ^
+  |The mutable state is created through: 

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

@@ -9,3 +9,4 @@
   |       │   ^^^^^^^^^
   |       └── (y => x = y), // warn	[ global-irrelevance4.scala:8 ]
   |            ^^^^^^^^^^
+  |       The mutable state is created through: 

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

@@ -7,3 +7,8 @@
   |│   ^
   |└── var y = A.array(0) * 2 // warn	[ global-irrelevance5.scala:6 ]
   |            ^^^^^^^^^^
+  |The mutable state is created through: Calling trace:
+  |├── object A:	[ global-irrelevance5.scala:1 ]
+  |│   ^
+  |└── val array: Array[Int] = new Array(1)	[ global-irrelevance5.scala:2 ]
+  |                            ^^^^^^^^^^^^

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

@@ -7,3 +7,8 @@
   |│   ^
   |└── var y = A.array(0).foo() * 2 // warn	[ global-irrelevance6.scala:9 ]
   |            ^^^^^^^^^^
+  |The mutable state is created through: Calling trace:
+  |├── object A:	[ global-irrelevance6.scala:4 ]
+  |│   ^
+  |└── val array: Array[Box] = new Array(1)	[ global-irrelevance6.scala:5 ]
+  |                            ^^^^^^^^^^^^

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

@@ -7,3 +7,8 @@
    |│   ^
    |└── var y = A.array(0).foo() * 2 // warn	[ global-irrelevance7.scala:10 ]
    |            ^^^^^^^^^^
+   |The mutable state is created through: Calling trace:
+   |├── object A:	[ global-irrelevance7.scala:4 ]
+   |│   ^
+   |└── val array: Array[Box] = new Array(1)	[ global-irrelevance7.scala:5 ]
+   |                            ^^^^^^^^^^^^

tests/init-global/warn/mutable-array.check

@@ -7,3 +7,10 @@
   |│   ^
   |└── val x: Int = box.value // warn	[ mutable-array.scala:8 ]
   |                 ^^^^^^^^^
+  |The mutable state is created through: Calling trace:
+  |├── object A:	[ mutable-array.scala:1 ]
+  |│   ^
+  |├── val box: Box = new Box(0)	[ mutable-array.scala:3 ]
+  |│                  ^^^^^^^^^^
+  |└── class Box(var value: Int)	[ mutable-array.scala:2 ]
+  |    ^^^^^^^^^^^^^^^^^^^^^^^^^

tests/init-global/warn/mutable-read1.check

@@ -7,3 +7,10 @@
    |│   ^
    |└── val n: Int = boxA.value // warn	[ mutable-read1.scala:10 ]
    |                 ^^^^^^^^^^
+   |The mutable state is created through: Calling trace:
+   |├── object A:	[ mutable-read1.scala:3 ]
+   |│   ^
+   |├── val box: Box = new Box(4)	[ mutable-read1.scala:4 ]
+   |│                  ^^^^^^^^^^
+   |└── class Box(var value: Int)	[ mutable-read1.scala:1 ]
+   |    ^^^^^^^^^^^^^^^^^^^^^^^^^

tests/init-global/warn/mutable-read2.check

@@ -7,3 +7,10 @@
    |│   ^
    |└── val b: Int = box.value // warn	[ mutable-read2.scala:10 ]
    |                 ^^^^^^^^^
+   |The mutable state is created through: Calling trace:
+   |├── object A:	[ mutable-read2.scala:1 ]
+   |│   ^
+   |├── val box: Box = new Box(0)	[ mutable-read2.scala:5 ]
+   |│                  ^^^^^^^^^^
+   |└── class Box(var value: Int) {	[ mutable-read2.scala:2 ]
+   |    ^

tests/init-global/warn/mutable-read3.check

@@ -7,3 +7,10 @@
   |│   ^
   |└── val x: Int = box.value // warn	[ mutable-read3.scala:9 ]
   |                 ^^^^^^^^^
+  |The mutable state is created through: Calling trace:
+  |├── object A:	[ mutable-read3.scala:1 ]
+  |│   ^
+  |├── val box: Box = new Box(0)	[ mutable-read3.scala:3 ]
+  |│                  ^^^^^^^^^^
+  |└── class Box(var value: Int)	[ mutable-read3.scala:2 ]
+  |    ^^^^^^^^^^^^^^^^^^^^^^^^^

tests/init-global/warn/mutable-read4.check

@@ -7,3 +7,10 @@
    |│   ^
    |└── val n: Int = boxA.value // warn	[ mutable-read4.scala:10 ]
    |                 ^^^^^^^^^^
+   |The mutable state is created through: Calling trace:
+   |├── object A:	[ mutable-read4.scala:3 ]
+   |│   ^
+   |├── val box: Box = new Box(4)	[ mutable-read4.scala:4 ]
+   |│                  ^^^^^^^^^^
+   |└── class Box(var value: Int)	[ mutable-read4.scala:1 ]
+   |    ^^^^^^^^^^^^^^^^^^^^^^^^^

tests/init-global/warn/mutable-read5.check

@@ -9,3 +9,6 @@
   |│                            ^^^^^^^^^^^^^^^^^^^^
   |└── def name(s: String): Name = Name(0, chrs.length) // warn	[ mutable-read5.scala:4 ]
   |                                        ^^^^
+  |The mutable state is created through: Calling trace:
+  |└── object Names:	[ mutable-read5.scala:1 ]
+  |    ^

tests/init-global/warn/mutable-read6.check

@@ -9,3 +9,10 @@
   |│                                                           ^^^^^^^^^^^^^^^^
   |└── final def source: SourceFile = _source // warn	[ mutable-read6.scala:7 ]
   |                                   ^^^^^^^
+  |The mutable state is created through: Calling trace:
+  |├── object Contexts:	[ mutable-read6.scala:3 ]
+  |│   ^
+  |├── val NoContext: Context = new Context	[ mutable-read6.scala:4 ]
+  |│                            ^^^^^^^^^^^
+  |└── class Context:	[ mutable-read6.scala:5 ]
+  |    ^

tests/init-global/warn/mutable-read7.check

@@ -13,3 +13,6 @@
   |│   ^
   |└── if (Positioned.debug) { // warn	[ mutable-read7.scala:7 ]
   |        ^^^^^^^^^^^^^^^^
+  |The mutable state is created through: Calling trace:
+  |└── object Positioned:	[ mutable-read7.scala:1 ]
+  |    ^

tests/init-global/warn/mutable-read8.check

@@ -11,3 +11,6 @@
   |│   ^
   |└── if (Stats.monitored) println("record stats") // warn	[ mutable-read8.scala:6 ]
   |        ^^^^^^^^^^^^^^^
+  |The mutable state is created through: Calling trace:
+  |└── object Stats {	[ mutable-read8.scala:1 ]
+  |    ^

tests/init-global/warn/patmat-unapplySeq.check

@@ -9,3 +9,8 @@
   |│        ^^^^
   |└── def apply(i: Int): Box = array(i) // warn	[ patmat-unapplySeq.scala:8 ]
   |                             ^^^^^^^^
+  |The mutable state is created through: Calling trace:
+  |├── object A:	[ patmat-unapplySeq.scala:1 ]
+  |│   ^
+  |└── val array: Array[Box] = new Array(1)	[ patmat-unapplySeq.scala:4 ]
+  |                            ^^^^^^^^^^^^

tests/init-global/warn/patmat-unapplySeq2.check

@@ -9,3 +9,8 @@
   |│        ^^^^^
   |└── def apply(i: Int): Box = array(i) // warn	[ patmat-unapplySeq2.scala:8 ]
   |                             ^^^^^^^^
+  |The mutable state is created through: Calling trace:
+  |├── object A:	[ patmat-unapplySeq2.scala:1 ]
+  |│   ^
+  |└── val array: Array[Box] = new Array(1)	[ patmat-unapplySeq2.scala:4 ]
+  |                            ^^^^^^^^^^^^