Fix tests

Author: liufengyun

tests/neg/erased-5.scala

@@ -3,8 +3,8 @@ object Test {
   type UU[T] = erased T => Int
 
   def main(args: Array[String]): Unit = {
-    fun { x =>
-      x // error: Cannot use `erased` value in a context that is not `erased`
+    fun { x => // error: `Int => Int` not compatible with `erased Int => Int`
+      x
     }
 
     fun {

tests/neg/i2146.scala

@@ -1,8 +1,5 @@
-object Test {
-  case class A()
-  case class B()
-
-  def foo[A, B]: given A => given B => Int = { given b: B =>
-    42 // error: found Int, required: given A => given B => Int
+class Test {
+  def foo[A, B]: given A => given B => Int = { given b: B =>  // error: found Int, required: given A => given B => Int
+    42
   }
 }

tests/neg/i5311.check

@@ -1,5 +1,5 @@
--- [E007] Type Mismatch Error: tests/neg/i5311.scala:11:27 -------------------------------------------------------------
+-- [E007] Type Mismatch Error: tests/neg/i5311.scala:11:9 --------------------------------------------------------------
 11 |    baz((x : s.T[Int]) => x) // error
-   |                           ^
-   |                           Found:    s.T[Int] => s.T[Int]
-   |                           Required: m.Foo
+   |         ^^^^^^^^^^^^^^^^^^
+   |         Found:    s.T[Int] => s.T[Int]
+   |         Required: m.Foo

tests/neg/i5592.scala

@@ -20,10 +20,10 @@ object Test {
   }
 
   val eqSymmetric2: Forall[[x] =>> (y: Obj) => (EQ[x, y.type]) => (EQ[y.type, x])] = {
-    { x: Obj => { y: Obj => { xEqy: EQ[x.type, y.type] => xEqy.commute } } } // error // error
+    { x: Obj => { y: Obj => { xEqy: EQ[x.type, y.type] => xEqy.commute } } } // error
   }
 
   val eqSymmetric3: Forall[[x] =>> Forall[[y] =>> EQ[x, y] => EQ[y, x]]] = {
-    { x: Obj => { y: Obj => { xEqy: EQ[x.type, y.type] => xEqy.commute } } } // error // error
+    { x: Obj => { y: Obj => { xEqy: EQ[x.type, y.type] => xEqy.commute } } } // error
   }
 }