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