add testcase for scala#15921

dotty-staging · Oct 31, 2022 · ef9e351 · ef9e351
1 parent b1c69ba
commit ef9e351
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/tests/neg-custom-args/captures/i15921.scala b/tests/neg-custom-args/captures/i15921.scala
@@ -0,0 +1,12 @@
+trait Stream { def close(): Unit = (); def write(x: Any): Unit = () }
+
+object Test {
+  def usingLogFile[T](op: (c: {*} Stream) => T): T =
+    val logFile = new Stream { }
+    val result = op(logFile)
+    logFile.close()
+    result
+
+  val later = usingLogFile { f => () => f.write(0) } // error
+  later()   // writing to closed file!
+}