Update test outputs

Author: natsukagami

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

@@ -1,26 +1,47 @@
--- [E007] Type Mismatch Error: tests/neg-custom-args/captures/boundary.scala:8:31 --------------------------------------
-8 |      boundary.break(l2)(using l1) // error
-  |                               ^^
-  |                               Found:    (local : scala.util.boundary.Label[scala.util.boundary.Label[Unit]]^)
-  |                               Required: scala.util.boundary.Label[box scala.util.boundary.Label[Unit]^{local²}]^
-  |
-  |                               where:    local  is a value locally defined in object test
-  |                                         local² is a value locally defined in object test
-  |
-  | longer explanation available when compiling with `-explain`
--- [E007] Type Mismatch Error: tests/neg-custom-args/captures/boundary.scala:6:32 --------------------------------------
- 6 |  boundary[boundary.Label[Unit]]: l1 ?=> // error
+-- [E007] Type Mismatch Error: tests/neg-custom-args/captures/boundary.scala:5:4 ---------------------------------------
+ 4 |  boundary[AnyRef^]:
+ 5 |    l1 ?=> // error // error
    |  ^
-   |  Found:    scala.util.boundary.Break[scala.util.boundary.Label[Unit]] @unchecked
-   |  Required: scala.util.boundary.Break[box scala.util.boundary.Label[Unit]^] @unchecked
- 7 |    boundary[Unit]: l2 ?=>
- 8 |      boundary.break(l2)(using l1) // error
- 9 |    ???
+   |Found:    scala.util.boundary.Label[Object^?]^{cap.rd}
+   |Required: scala.util.boundary.Label[Object^]^²
+   |
+   |where:    ^   refers to the universal root capability
+   |          ^²  refers to a fresh root capability classified as Control in the type of value local
+   |          cap is a fresh root capability classified as Control created in value local when constructing Capability instance scala.util.boundary.Label[Object^?]
+   |
+   |Note that capability cap
+   |cannot be included in outer capture set ?.
+ 6 |      boundary[Unit]: l2 ?=>
+ 7 |        boundary.break(l2)(using l1)
+ 8 |      ???
+   |--------------------------------------------------------------------------------------------------------------------
+   |Inline stack trace
+   |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
+   |This location contains code that was inlined from boundary.scala:70
+70 |    val local = Label[T]()
+   |                ^^^^^^^^^^
+    --------------------------------------------------------------------------------------------------------------------
+   |
+   | longer explanation available when compiling with `-explain`
+-- [E007] Type Mismatch Error: tests/neg-custom-args/captures/boundary.scala:5:4 ---------------------------------------
+ 4 |  boundary[AnyRef^]:
+ 5 |    l1 ?=> // error // error
+   |  ^
+   |  Found:    scala.util.boundary.Break[AnyRef^] @unchecked
+   |  Required: scala.util.boundary.Break[Object^²] @unchecked
+   |
+   |  where:    ^  refers to the universal root capability
+   |            ^² refers to a fresh root capability created in package <empty>
+   |
+   |  Note that capability cap is not included in capture set {cap}.
+ 6 |      boundary[Unit]: l2 ?=>
+ 7 |        boundary.break(l2)(using l1)
+ 8 |      ???
    |--------------------------------------------------------------------------------------------------------------------
    |Inline stack trace
    |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
-   |This location contains code that was inlined from boundary.scala:73
-73 |    catch case ex: Break[T] @unchecked =>
+   |This location contains code that was inlined from boundary.scala:72
+72 |    catch case ex: Break[T] @unchecked =>
    |                   ^
     --------------------------------------------------------------------------------------------------------------------
    |

tests/neg-custom-args/captures/boundary.scala

@@ -2,7 +2,7 @@ import scala.util.boundary
 
 object test:
   boundary[AnyRef^]:
-    l1 ?=> // error
+    l1 ?=> // error // error
       boundary[Unit]: l2 ?=>
-        boundary.break(l2)(using l1) // error
+        boundary.break(l2)(using l1)
       ???

tests/run/assert-stack.check

@@ -1,6 +1,6 @@
-scala.runtime.Scala3RunTime$.assertFailed(Scala3RunTime.scala:8)
+scala.runtime.Scala3RunTime$.assertFailed(Scala3RunTime.scala:10)
 Test$.main(assert-stack.scala:7)
 
-scala.runtime.Scala3RunTime$.assertFailed(Scala3RunTime.scala:11)
+scala.runtime.Scala3RunTime$.assertFailed(Scala3RunTime.scala:13)
 Test$.main(assert-stack.scala:12)