update check files after refactoring box adaptation

Author: Linyxus

compiler/src/dotty/tools/dotc/cc/CheckCaptures.scala

@@ -606,7 +606,7 @@ class CheckCaptures extends Recheck, SymTransformer:
           val (eargs, eres) = expected.dealias match
             case defn.FunctionOf(eargs, eres, _, _) => (eargs, eres)
             case _ => (aargs.map(_ => WildcardType), WildcardType)
-          val aargs1 = aargs.zipWithConserve(eargs){ (aarg, earg) => adapt(aarg, earg, !covariant) }
+          val aargs1 = aargs.zipWithConserve(eargs) { (aarg, earg) => adapt(aarg, earg, !covariant) }
           val ares1 = adapt(ares, eres, covariant)
 
           val resTp =
@@ -623,9 +623,9 @@ class CheckCaptures extends Recheck, SymTransformer:
         i"adapting $actual $arrow $expected"
 
       def adapt(actual: Type, expected: Type, covariant: Boolean): Type = trace(adaptInfo(actual, expected, covariant), recheckr, show = true) {
-        def destructCapturingType(tp: Type, reconstruct: Type => Type): ((Type, CaptureSet, Boolean), Type => Type) = tp match
+        def destructCapturingType(tp: Type, reconstruct: Type => Type): ((Type, CaptureSet, Boolean), Type => Type) = tp.dealias match
           case tp @ CapturingType(parent, cs) =>
-            if parent.isCapturingType then
+            if parent.dealias.isCapturingType then
               destructCapturingType(parent, res => reconstruct(tp.derivedCapturingType(res, cs)))
             else
               ((parent, cs, tp.isBoxed), reconstruct)

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} () -> {*} C
+   |                        Found:    {x} () -> Cap
    |                        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:    ? () -> {*} C
+   |     Found:    ? () -> Cap
    |     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} () -> Unit
+  |              Found:    {f} () -> box {f} Proc
   |              Required: () -> box ? () -> Unit
   |
   | longer explanation available when compiling with `-explain`

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

@@ -30,7 +30,7 @@
 -- [E007] Type Mismatch Error: tests/neg-custom-args/captures/i15772.scala:44:2 ----------------------------------------
 44 |  x: (() -> Unit) // error
    |  ^
-   |  Found:    (x : {sayHello, io} () -> Unit)
+   |  Found:    {x} () -> Unit
    |  Required: () -> 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:    ? ({*} CT[Exception]) -> {*} CT[? >: ? Exception <: ? Exception]
+   |                                      Found:    ? CanThrow[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: {*} CT[Exception]) -> {x} () -> ? Nothing
+   |                                           Found:    ? (x: CanThrow[Exception]) -> {x} () -> ? Nothing
    |                                           Required: CanThrow[Exception] => () -> Nothing
 30 |    (x: CanThrow[Exception]) => () => raise(new Exception)(using x)
 31 |  } {

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

@@ -1,7 +1,7 @@
 -- [E007] Type Mismatch Error: tests/neg-custom-args/captures/vars.scala:11:24 -----------------------------------------
 11 |  val z2c: () -> Unit = z2  // error
    |                        ^^
-   |                        Found:    (z2 : {x, cap1} () -> Unit)
+   |                        Found:    {z2} () -> Unit
    |                        Required: () -> Unit
    |
    | longer explanation available when compiling with `-explain`