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

fixes #21507

Author: odersky

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
 

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