update test check files

Author: Linyxus

tests/neg-custom-args/captures/capt1.check

@@ -40,14 +40,14 @@
 -- [E007] Type Mismatch Error: tests/neg-custom-args/captures/capt1.scala:32:24 ----------------------------------------
 32 |  val z2 = h[() -> Cap](() => x) // error
    |                        ^^^^^^^
-   |                        Found:    {x} () -> Cap
+   |                        Found:    {x} () -> {*} C
    |                        Required: () -> box {*} C
    |
    | longer explanation available when compiling with `-explain`
 -- [E007] Type Mismatch Error: tests/neg-custom-args/captures/capt1.scala:33:5 -----------------------------------------
 33 |    (() => C())  // error
    |     ^^^^^^^^^
-   |     Found:    ? () -> Cap
+   |     Found:    ? () -> {*} C
    |     Required: () -> box {*} C
    |
    | longer explanation available when compiling with `-explain`

tests/neg-custom-args/captures/curried-simplified.check

@@ -8,7 +8,7 @@
 -- [E007] Type Mismatch Error: tests/neg-custom-args/captures/curried-simplified.scala:9:28 ----------------------------
 9 |  def y2: () -> () => Int = x2 // error
   |                            ^^
-  |                            Found:    {x} () -> () => Int
+  |                            Found:    {x} () -> {*} () -> Int
   |                            Required: () -> () => Int
   |
   | longer explanation available when compiling with `-explain`

tests/neg-custom-args/captures/eta.check

@@ -8,7 +8,7 @@
 -- [E007] Type Mismatch Error: tests/neg-custom-args/captures/eta.scala:6:14 -------------------------------------------
 6 |         bar( () => f )  // error
   |              ^^^^^^^
-  |              Found:    {f} () -> box {f} Proc
+  |              Found:    {f} () -> box {f} () -> Unit
   |              Required: () -> box ? () -> Unit
   |
   | longer explanation available when compiling with `-explain`

tests/neg-custom-args/captures/try.check

@@ -1,7 +1,7 @@
 -- [E007] Type Mismatch Error: tests/neg-custom-args/captures/try.scala:23:49 ------------------------------------------
 23 |  val a = handle[Exception, CanThrow[Exception]] { // error
    |                                                 ^
-   |                                      Found:    ? CanThrow[Exception] -> {*} CT[? >: ? Exception <: ? Exception]
+   |                                      Found:    ? ({*} CT[Exception]) -> {*} CT[? >: ? Exception <: ? Exception]
    |                                      Required: CanThrow[Exception] => box {*} CT[Exception]
 24 |    (x: CanThrow[Exception]) => x
 25 |  }{
@@ -10,7 +10,7 @@
 -- [E007] Type Mismatch Error: tests/neg-custom-args/captures/try.scala:29:43 ------------------------------------------
 29 |  val b = handle[Exception, () -> Nothing] {  // error
    |                                           ^
-   |                                           Found:    ? (x: CanThrow[Exception]) -> {x} () -> ? Nothing
+   |                                           Found:    ? (x: {*} CT[Exception]) -> {x} () -> ? Nothing
    |                                           Required: CanThrow[Exception] => () -> Nothing
 30 |    (x: CanThrow[Exception]) => () => raise(new Exception)(using x)
 31 |  } {