Cleanup infer-tracked

Author: KacperFKorban

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

@@ -2070,7 +2070,7 @@ class Namer { typer: Typer =>
     sym.maybeOwner.maybeOwner.infoOrCompleter match
       case info: ClassInfo
         if !sym.is(Tracked) && isContextBoundWitnessWithAbstractMembers(sym, param, sym.maybeOwner.maybeOwner) =>
-        typr.println(i"set tracked $param, $sym: ${sym.info}")
+        typr.println(i"set tracked $param, $sym: ${sym.info} containing ${sym.info.memberNames(abstractTypeNameFilter).toList}")
         for acc <- info.decls.lookupAll(sym.name) if acc.is(ParamAccessor) do
           acc.resetFlag(PrivateLocal)
           acc.setFlag(Tracked)

scaladoc/src/dotty/tools/scaladoc/tasty/TastyParser.scala

@@ -127,7 +127,6 @@ case class ScaladocTastyInspector()(using ctx: DocContext) extends Inspector:
       topLevels ++= intrinsicTypeDefs
       val scalaPckg = defn.ScalaPackage
       given parser.qctx.type = parser.qctx
-      import parser.dri
       topLevels += "scala" -> Member(scalaPckg.fullName, "", scalaPckg.dri, Kind.Package)
       topLevels += mergeAnyRefAliasAndObject(parser)
 

tests/pos/infer-tracked.scala

@@ -33,6 +33,7 @@ def Test =
   val f = new F(c)
   val _: Int = f.result
 
+  // Not really possible to work with inference in Namer, should emit a lint
   // val g = new G(c)
   // val _: Int = g.result