Make constructors level owners

Author: odersky

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

@@ -28,8 +28,6 @@ private val adaptUnpickledFunctionTypes = false
  */
 private val constrainRootsWhenMapping = true
 
-private val constructorsAreLevelOwners = false
-
 def allowUniversalInBoxed(using Context) =
   Feature.sourceVersion.isAtLeast(SourceVersion.`3.3`)
 
@@ -394,7 +392,6 @@ extension (sym: Symbol)
             || symd.owner.is(CaptureChecked)
             || Synthetics.needsTransform(symd)
             )
-        && !symd.isConstructor
         && (!symd.isAnonymousFunction || sym.definedLocalRoot.exists)
         && takesCappedParamIn(symd.info)
         && { ccSetup.println(i"Level owner $sym"); true }

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

@@ -378,7 +378,7 @@ class CheckCaptures extends Recheck, SymTransformer:
         val tpw = tp.widen
         var tp1 = tpw
         val rootVar = CaptureRoot.Var(ctx.owner, sym)
-        if sym.skipConstructor.isLevelOwner then
+        if sym.isLevelOwner then
           tp1 = mapRoots(sym.localRoot.termRef, rootVar)(tp1)
           if tp1 ne tpw then
             ccSetup.println(i"INST local $sym: $tp, ${sym.localRoot} = $tp1")

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

@@ -566,12 +566,14 @@ class Setup extends PreRecheck, SymTransformer, SetupAPI:
           val newInfo = absInfo(localReturnType)
           if newInfo ne sym.info then
             val updatedInfo =
-              if sym.isAnonymousFunction || sym.is(Param) || sym.is(ParamAccessor) then
+              if sym.isAnonymousFunction
+                  || sym.is(Param)
+                  || sym.is(ParamAccessor)
+                  || sym.isPrimaryConstructor
+              then
                 // closures are handled specially; the newInfo is constrained from
                 // the expected type and only afterwards we recheck the definition
                 newInfo
-              else if sym.isPrimaryConstructor then
-                newInfo
               else new LazyType:
                 def complete(denot: SymDenotation)(using Context) =
                   // infos of other methods are determined from their definitions which