Further modification; update tests

Author: EnzeXing

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

@@ -0,0 +1,7 @@
+class B {}
+
+class C(c: B) extends B
+
+object O:
+    def f(param: B): Int = f(new C(param))
+    val a = f(new B)

tests/init-global/pos/cyclic-param.scala

@@ -0,0 +1,9 @@
+object O:
+    val a = m(2)
+    def m(f: Int) =
+        val a = f
+        () => a
+
+object O2:
+    val func = O.a
+    val a = func()

tests/init-global/pos/get-local-val-from-other-owner.scala

@@ -0,0 +1,4 @@
+class A(val a: A)
+object B:
+    val a: A = loop().a
+    def loop(): A = new A(loop())

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

@@ -0,0 +1,21 @@
+class Outer {
+  def foo = {
+    val y = 5
+    class C {
+      val x = y
+    }
+    class D {
+      new C
+    }
+
+    new D
+  }
+
+  foo
+
+  val n = 10 // warn
+}
+
+object O {
+  val c = new Outer
+}

tests/init-global/pos/local-class.scala

@@ -10,7 +10,7 @@ object O:
   def bar(t: T) = {
     class A {
       class B {
-        t.foo() // warn
+        t.foo()
       }
 
       val b = new B

tests/init-global/warn/widen.scala renamed to tests/init-global/pos/lookup-outer.scala

@@ -9,3 +9,8 @@
   |│           ^^^^^^^
   |└── (() => x) // warn	[ global-irrelevance3.scala:9 ]
   |           ^
+  |The mutable state is created through: 
+  |├── object A:	[ global-irrelevance3.scala:1 ]
+  |│   ^
+  |└── val p: Pair = foo()	[ global-irrelevance3.scala:3 ]
+  |                  ^^^^^

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

@@ -9,3 +9,8 @@
   |       │   ^^^^^^^^^
   |       └── (y => x = y), // warn	[ global-irrelevance4.scala:8 ]
   |            ^^^^^^^^^^
+  |       The mutable state is created through: 
+  |       ├── object A:	[ global-irrelevance4.scala:1 ]
+  |       │   ^
+  |       └── val p: Pair = foo()	[ global-irrelevance4.scala:3 ]
+  |                         ^^^^^

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

@@ -10,7 +10,5 @@
   |The mutable state is created through: 
   |├── 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 ]
-  |    ^^^^^^^^^^^^^^^^^^^^^^^^^
+  |└── val box: Box = new Box(0)	[ mutable-array.scala:3 ]
+  |                   ^^^^^^^^^^

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

@@ -10,7 +10,5 @@
    |The mutable state is created through: 
    |├── 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 ]
-   |    ^^^^^^^^^^^^^^^^^^^^^^^^^
+   |└── val box: Box = new Box(4)	[ mutable-read1.scala:4 ]
+   |                   ^^^^^^^^^^