Also use precise refinements for tracked parameters

Author: odersky

compiler/src/dotty/tools/dotc/core/NamerOps.scala

@@ -52,7 +52,7 @@ object NamerOps:
    */
   def addParamRefinements(resType: Type, paramss: List[List[Symbol]])(using Context): Type =
     paramss.flatten.foldLeft(resType): (rt, param) =>
-      if param.is(Tracked) then RefinedType(rt, param.name, param.termRef)
+      if param.is(Tracked) then RefinedType.precise(rt, param.name, param.termRef)
       else rt
 
   /** Split dependent class refinements off parent type. Add them to `refinements`,

compiler/src/dotty/tools/dotc/core/Types.scala

@@ -914,9 +914,7 @@ object Types extends TypeUtils {
           pdenot.asSingleDenotation.derivedSingleDenotation(pdenot.symbol, jointInfo)
         }
         else
-          val overridingRefinement =
-            tp.isPrecise || pdenot.symbol.is(Tracked)
-          if overridingRefinement then
+          if tp.isPrecise  then
             pdenot.asSingleDenotation.derivedSingleDenotation(pdenot.symbol, rinfo)
           else
             val isRefinedMethod = rinfo.isInstanceOf[MethodOrPoly]