No need to unbox if expected type is LhsProto (#21508)

fixes #21507
scala · Sep 23, 2024 · 3097a84 · 3097a84
2 parents b8c5ecb + a045b8c
commit 3097a84
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 1 deletion.
diff --git a/compiler/src/dotty/tools/dotc/cc/CheckCaptures.scala b/compiler/src/dotty/tools/dotc/cc/CheckCaptures.scala
@@ -969,7 +969,7 @@ class CheckCaptures extends Recheck, SymTransformer:
       if tree.isTerm then
         if !ccConfig.useExistentials then
           checkReachCapsIsolated(res.widen, tree.srcPos)
-        if !pt.isBoxedCapturing then
+        if !pt.isBoxedCapturing && pt != LhsProto then
           markFree(res.boxedCaptureSet, tree.srcPos)
       res
 

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