Disable tracked by default, mark accessors as tracked, when infering tracked

Author: KacperFKorban

compiler/src/dotty/tools/dotc/config/Feature.scala

@@ -113,7 +113,7 @@ object Feature:
    *                    feature is defined.
    */
   def enabled(feature: TermName)(using Context): Boolean =
-    enabledBySetting(feature) || enabledByImport(feature) || feature == tracked
+    enabledBySetting(feature) || enabledByImport(feature)
 
   /** Is auto-tupling enabled? */
   def autoTuplingEnabled(using Context): Boolean = !enabled(nme.noAutoTupling)

compiler/src/dotty/tools/dotc/typer/Namer.scala

@@ -1931,14 +1931,14 @@ class Namer { typer: Typer =>
     def wrapRefinedMethType(restpe: Type): Type =
       wrapMethType(addParamRefinements(restpe, paramSymss))
 
-    def addTrackedIfNeeded(ddef: DefDef, owningSym: Symbol): Boolean =
-      var wasSet = false
+    def addTrackedIfNeeded(ddef: DefDef, owningSym: Symbol): Unit =
       for params <- ddef.termParamss; param <- params do
         val psym = symbolOfTree(param)
         if needsTracked(psym, param, owningSym) then
           psym.setFlag(Tracked)
-          wasSet = true
-      wasSet
+          for acc <- sym.maybeOwner.infoOrCompleter.decls.lookupAll(psym.name) if acc.is(ParamAccessor) do
+            acc.resetFlag(PrivateLocal)
+            acc.setFlag(Tracked)
 
     if Feature.trackedEnabled then addTrackedIfNeeded(ddef, sym.maybeOwner)
 

tests/pos/infer-tracked-parsercombinators-givens.scala

@@ -26,7 +26,6 @@ given apply: [C, E] => Combinator[Apply[C, E]] {
   }
 }
 
-// TODO(kπ) infer tracked correctly here
 given combine[A, B](using
     tracked val f: Combinator[A],
     tracked val s: Combinator[B] { type Context = f.Context }