add test case for scala#21507

dotty-staging · Aug 29, 2024 · a045b8c · a045b8c
1 parent ea19290
commit a045b8c
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/tests/pos-custom-args/captures/i21507.scala b/tests/pos-custom-args/captures/i21507.scala
@@ -0,0 +1,10 @@
+import language.experimental.captureChecking
+
+trait Box[Cap^]:
+  def store(f: (() -> Unit)^{Cap^}): Unit
+
+def run[Cap^](f: Box[Cap]^{Cap^} => Unit): Box[Cap]^{Cap^} =
+  new Box[Cap]:
+    private var item: () ->{Cap^} Unit = () => ()
+    def store(f: () ->{Cap^} Unit): Unit =
+      item = f  // was error, now ok