Charge deep capture set for use class params

Author: Linyxus

compiler/src/dotty/tools/dotc/cc/CheckCaptures.scala

@@ -846,10 +846,14 @@ class CheckCaptures extends Recheck, SymTransformer:
             initCs ++ FreshCap(Origin.NewCapability(core)).readOnly.singletonCaptureSet
           else initCs
         for (getterName, argType) <- mt.paramNames.lazyZip(argTypes) do
+          val paramSym = cls.primaryConstructor.paramNamed(getterName)
           val getter = cls.info.member(getterName).suchThat(_.isRefiningParamAccessor).symbol
           if !getter.is(Private) && getter.hasTrackedParts then
             refined = refined.refinedOverride(getterName, argType.unboxed) // Yichen you might want to check this
-            allCaptures ++= argType.captureSet
+            if paramSym.isUseParam then
+              allCaptures ++= argType.deepCaptureSet
+            else
+              allCaptures ++= argType.captureSet
         (refined, allCaptures)
 
       /** Augment result type of constructor with refinements and captures.

tests/neg-custom-args/captures/cc-class-reach.scala

@@ -0,0 +1,7 @@
+import language.experimental.captureChecking
+import caps.*
+class Runner(@use xs: List[() => Unit]):
+  def execute: Unit = xs.foreach(op => op())
+def test1(@use ops: List[() => Unit]): Unit =
+  val runner: Runner^{} = Runner(ops)  // error
+