Update cc-fresh-levels.scala

It was unsound, but fixed now on main.

Author: Linyxus

tests/neg-custom-args/captures/cc-fresh-levels.check

@@ -17,3 +17,14 @@ Flag -source set repeatedly
    |          where:    ^ refers to a fresh root capability in the type of value r
    |
    | longer explanation available when compiling with `-explain`
+-- [E007] Type Mismatch Error: tests/neg-custom-args/captures/cc-fresh-levels.scala:18:9 -------------------------------
+18 |  runIO: innerIO =>  // error
+   |         ^
+   |Found:    (innerIO: IO^?) ->? Unit
+   |Required: IO^ => Unit
+   |
+   |where:    => refers to a fresh root capability created in method test1 when checking argument to parameter op of method runIO
+   |          ^  refers to the universal root capability
+19 |    r.put(innerIO)
+   |
+   | longer explanation available when compiling with `-explain`

tests/neg-custom-args/captures/cc-fresh-levels.scala

@@ -15,5 +15,5 @@ def test1(a: IO^, b: IO^, c: IO^): Unit =
   r.put(c) // ok
   runIO: (innerIO: IO^) =>
     r.put(innerIO)  // error
-  runIO: innerIO =>
-    r.put(innerIO)  // should be error, but ok // unsound
+  runIO: innerIO =>  // error
+    r.put(innerIO)