one more test case for capture checking dependent functions

scala · Nov 10, 2022 · 7e695fd · 7e695fd
1 parent 18222b7
commit 7e695fd
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/tests/neg-custom-args/captures/cc-depfun.scala b/tests/neg-custom-args/captures/cc-depfun.scala
@@ -0,0 +1,9 @@
+trait Cap { def use(): Unit }
+
+def main() = {
+  val f: (io: {*} Cap) -> {} () -> Unit =
+    io => () => io.use()  // error
+
+  val g: ({*} Cap) -> {} () -> Unit =
+    io => () => io.use()  // error
+}