We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent bae5b97 commit 8c90908Copy full SHA for 8c90908
tests/neg-custom-args/captures/i15921.scala
@@ -0,0 +1,12 @@
1
+trait Stream { def close(): Unit = (); def write(x: Any): Unit = () }
2
+
3
+object Test {
4
+ def usingLogFile[T](op: (c: {*} Stream) => T): T =
5
+ val logFile = new Stream { }
6
+ val result = op(logFile)
7
+ logFile.close()
8
+ result
9
10
+ val later = usingLogFile { f => () => f.write(0) } // error
11
+ later() // writing to closed file!
12
+}
0 commit comments