From cb00e1a10a4a0a21523427c16ece968cb617ea22 Mon Sep 17 00:00:00 2001 From: Hamza Remmal Date: Sun, 16 Nov 2025 21:13:51 +0100 Subject: [PATCH] chore: add regression test for #23225 --- tests/pos/i23225.scala | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 tests/pos/i23225.scala diff --git a/tests/pos/i23225.scala b/tests/pos/i23225.scala new file mode 100644 index 000000000000..8528ea518019 --- /dev/null +++ b/tests/pos/i23225.scala @@ -0,0 +1,16 @@ +import language.experimental.captureChecking + +class A + +def run(f: PartialFunction[A, A]^): A = f(A()) + +class File extends caps.SharedCapability: + def read() = () + +def main() = + val file = File() + + run: + case a => + file.read() + a