Update tests

Author: EnzeXing

tests/init/neg/Desugar.check

@@ -0,0 +1,24 @@
+-- Error: tests/init/neg/local-warm6.scala:6:32 ------------------------------------------------------------------------
+6 |            def greater() = x > aDouble // error
+  |                                ^^^^^^^
+  |        Access field aDouble on a value with an unknown initialization status. Calling trace:
+  |         -> class C(x: Int) extends A {	[ local-warm6.scala:5 ]
+  |          -> class A {	[ local-warm6.scala:1 ]
+  |           -> val b = m(25)	[ local-warm6.scala:11 ]
+  |            -> val c = new C(target)	[ local-warm6.scala:8 ]
+  |               -> class C(x: Int) extends A {	[ local-warm6.scala:5 ]
+  |                 -> class A {	[ local-warm6.scala:1 ]
+  |                  -> val b = m(25)	[ local-warm6.scala:11 ]
+  |                   -> val c = new C(target)	[ local-warm6.scala:8 ]
+  |                      -> class C(x: Int) extends A {	[ local-warm6.scala:5 ]
+  |                        -> class A {	[ local-warm6.scala:1 ]
+  |                         -> val b = m(25)	[ local-warm6.scala:11 ]
+  |                          -> val c = new C(target)	[ local-warm6.scala:8 ]
+  |                             -> class C(x: Int) extends A {	[ local-warm6.scala:5 ]
+  |                               -> class A {	[ local-warm6.scala:1 ]
+  |                                -> val b = m(25)	[ local-warm6.scala:11 ]
+  |                                 -> val c = new C(target)	[ local-warm6.scala:8 ]
+  |                                    -> class C(x: Int) extends A {	[ local-warm6.scala:5 ]
+  |                                      -> class A {	[ local-warm6.scala:1 ]
+  |                                       -> val b = m(25)	[ local-warm6.scala:11 ]
+  |                                        -> if c.greater() then c.m(target - 1) else target	[ local-warm6.scala:9 ]

tests/init/neg/InteractiveDriver.check

@@ -0,0 +1,12 @@
+class A {
+    val a = 10
+    def m(target: Int): Int = {
+        val aDouble = a * 2
+        class C(x: Int) extends A {
+            def greater() = x > aDouble // error
+        }
+        val c = new C(target)
+        if c.greater() then c.m(target - 1) else target
+    }
+    val b = m(25)
+}

tests/init/neg/local-warm6.check

@@ -0,0 +1,5 @@
+-- Error: tests/init/neg/local-warm7.scala:10:23 -----------------------------------------------------------------------
+10 |            finalA.getX() // error
+   |            ^^^^^^^^^^^^^
+   |            Call method finalA.getX() on a value with an unknown initialization. Calling trace:
+   |             -> val x = b.getX()	[ local-warm7.scala:15 ]

tests/init/neg/local-warm6.scala

@@ -0,0 +1,16 @@
+class Foo {
+    class A(x: Int) {
+        def getX() = x
+    }
+
+    class B(a: => A) {
+        def this(x: Int) = this(new A(x))
+        def getX() = {
+            val finalA = a
+            finalA.getX() // error
+        }
+    }
+
+    val b = new B(5)
+    val x = b.getX()
+}

tests/init/neg/local-warm7.check

@@ -0,0 +1,23 @@
+object localWarm {
+    class A(val x: Int) {
+        def getX() = x
+    }
+
+    class B(val x: Int) {
+        def getX() = {
+            def produceA(x: Int) = new A(x)
+            class C(val x: Int) {
+                def getX() = {
+                    val a = produceA(x)
+                    a.getX()
+                }
+            }
+            val c = new C(x)
+            c.getX()
+        }
+        val xAgain = getX()
+    }
+
+    val b = new B(5)
+    val x = b.getX()
+}