Regression test for #16224 (#18067)

Fixes #16224
scala · Jun 27, 2023 · 484be60 · 484be60
2 parents 202eb59 + 3e3bec6
commit 484be60
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/tests/pos-custom-args/captures/i16224.scala b/tests/pos-custom-args/captures/i16224.scala
@@ -0,0 +1,14 @@
+import language.experimental.captureChecking
+class Delta:
+  val value = 1
+
+  def f(v: Int)(using delta: Delta): Int =
+    v + delta.value
+
+  def run(): Unit =
+    val delta = Delta()
+    val x: Map[Char, Int] = Map(
+      'a' -> 0,
+      'b' -> 1
+    )
+    val y: Map[Char, Int] = x.map((k, v) => (k, f(v)(using delta)))