nail down pt 5

bracevac · bracevac · commit 11a3e596d753 · 2025-03-13T16:47:51.000+01:00
diff --git a/tests/pos-custom-args/captures/cap-paramlists2.scala b/tests/pos-custom-args/captures/cap-paramlists2.scala
@@ -0,0 +1,6 @@
+import language.experimental.captureChecking
+
+trait Bar:
+  cap C
+
+def useFoo[cap D](x: Bar { cap C = D} ): Any^{x.C} = ???
