Enable takesCappedParam criterion for level ownership

Author: odersky

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

@@ -33,6 +33,7 @@ class AddTryOwners extends Phase, IdentityDenotTransformer:
         case tree @ Try(expr, cases, finalizer) if Feature.enabled(Feature.saferExceptions) =>
           val tryOwner = newSymbol(ctx.owner, nme.TRY_BLOCK, SyntheticMethod, MethodType(Nil, defn.UnitType))
           ccState.tryBlockOwner(tree) = tryOwner
+          ccState.isLevelOwner(tryOwner) = true
           expr.changeOwnerAfter(ctx.owner, tryOwner, thisPhase)
           inContext(ctx.withOwner(tryOwner)):
             traverse(expr)

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

@@ -31,12 +31,12 @@ private val constrainRootsWhenMapping = true
 /** If true, most vals can be level owners. If false, only vals defined by a
  *  closure as RHS can be level owners
  */
-private val valsCanBeLevelOwners = false
+private val valsCanBeLevelOwners = true
 
 /** If true, only vals, defs, and classes with a universal capability in a parameter
  *  or self type are considered as level owners.
  */
-private val levelOwnersNeedCapParam = false
+private val levelOwnersNeedCapParam = true
 
 def allowUniversalInBoxed(using Context) =
   Feature.sourceVersion.isAtLeast(SourceVersion.`3.3`)