File tree Expand file tree Collapse file tree 1 file changed +3
-3
lines changed
tests/neg-custom-args/captures Expand file tree Collapse file tree 1 file changed +3
-3
lines changed Original file line number Diff line number Diff line change 10
10
-- [E007] Type Mismatch Error: tests/neg-custom-args/captures/use-capset.scala:13:50 -----------------------------------
11
11
13 | val _: () -> List[Object^{io}] -> Object^{io} = h2 // error, should be ->{io}
12
12
| ^^
13
- | Found: (h2 : () ->{} List[Object^{io}]^{} ->{io} Object^{io})
14
- | Required: () -> List[Object^{io}] -> Object^{io}
13
+ | Found: (h2 : () ->{} List[Object^{io}] ->{io} Object^{io})
14
+ | Required: () -> List[Object^{io}] -> Object^{io}
15
15
|
16
- | Note that capability io is not included in capture set {}.
16
+ | Note that capability io is not included in capture set {}.
17
17
|
18
18
| longer explanation available when compiling with `-explain`
19
19
-- Error: tests/neg-custom-args/captures/use-capset.scala:5:49 ---------------------------------------------------------
You can’t perform that action at this time.
0 commit comments