File tree Expand file tree Collapse file tree 2 files changed +5
-1
lines changed
tests/neg-custom-args/captures Expand file tree Collapse file tree 2 files changed +5
-1
lines changed Original file line number Diff line number Diff line change
1
+ -- Error: tests/neg-custom-args/captures/i15772.scala:44:18 ------------------------------------------------------------
2
+ 44 | val filesList : List[File]^{io} = ??? // error
3
+ | ^^^^^^^^^^^^^^^
4
+ | List[File] is a pure type, it makes no sense to add a capture set to it
1
5
-- Error: tests/neg-custom-args/captures/i15772.scala:22:46 ------------------------------------------------------------
2
6
22 | val boxed1 : ((C^) => Unit) -> Unit = box1(c) // error
3
7
| ^^^^^^^
Original file line number Diff line number Diff line change @@ -41,6 +41,6 @@ trait File:
41
41
42
42
def main (io : Any ^ ) =
43
43
val sayHello : ((File ^ {io}) => Unit ) = (file : File ^ {io}) => file.write(" Hello World!\r\n " )
44
- val filesList : List [File ]^ {io} = ???
44
+ val filesList : List [File ]^ {io} = ??? // error
45
45
val x = () => filesList.foreach(sayHello)
46
46
x : (() -> Unit ) // error
You can’t perform that action at this time.
0 commit comments