Fix eagerly typing annotations when inferring tracked

Author: KacperFKorban

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

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

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

@@ -2040,13 +2040,15 @@ class Namer { typer: Typer =>
     (owningSym.isClass || owningSym.isAllOf(Given | Method))
       && !accessorSyms.exists(_.is(Mutable))
       && (param.hasAttachment(ContextBoundParam) || accessorSyms.exists(!_.isOneOf(PrivateLocal)))
-      && psym.info.memberNames(abstractTypeNameFilter).nonEmpty
+      && psym.infoDontForceAnnotsAndInferred(param).memberNames(abstractTypeNameFilter).nonEmpty
 
   extension (sym: Symbol)
-    private def infoWithForceNonInferingCompleter(using Context): Type = sym.infoOrCompleter match
-      case tpe: LazyType if tpe.isExplicit => sym.info
-      case tpe if sym.isType => sym.info
-      case info => info
+    private def infoDontForceAnnotsAndInferred(tree: DefTree)(using Context): Type =
+      sym.infoOrCompleter match
+        case tpe if tree.mods.annotations.nonEmpty => tpe
+        case tpe: LazyType if tpe.isExplicit => sym.info
+        case tpe if sym.isType => sym.info
+        case info => info
 
   private def maybeParamAccessors(owner: Symbol, sym: Symbol)(using Context): List[Symbol] = owner.infoOrCompleter match
     case info: ClassInfo =>

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

@@ -945,7 +945,6 @@ class Typer(@constructorOnly nestingLevel: Int = 0) extends Namer
           case _ =>
             notAMemberErrorType(tree, qual, pt))
 
-    println(i"typedSelectWithAdapt $tree, $pt, $qual")
     tryType(tree, qual, rawType)
       .orElse(trySimplifyApply())
       .orElse(tryInstantiateTypeVar())

simple-tracked-inference-failures-clean.md

@@ -40,7 +40,6 @@
 - tests/pos/i2997.scala failed
 
 ## Non-experimental related tests:
-- tests/pos/i12953.scala failed
 - tests/pos/i2997.scala failed
 - tests/pos/i20901 failed
 
@@ -248,41 +247,6 @@ index 82e95946f9..90cfcf8e95 100644
 +  SOURCEFILEattr 42 [<elided source file name>]
 ```
 
-### One problem with typing annotations too early:
-- tests/pos/i12953.scala
-
-source:
-```scala
-class Schema(impl: Class[_]) extends scala.annotation.StaticAnnotation
-
-class Ann[A] extends scala.annotation.StaticAnnotation
-
-case class Foo[A](@Schema(classOf[List[A]]) foo: String)
-case class Bar[A](@Ann[A] foo: String)
-def baz[A](@Ann[A] foo: String) = ()
-```
-
-error:
-```scala
--- [E006] Not Found Error: tests/pos/i12953.scala:5:39 -------------------------
-5 |case class Foo[A](@Schema(classOf[List[A]]) foo: String)
-  |                                       ^
-  |                                       Not found: type A
-  |
-  | longer explanation available when compiling with `-explain`
--- [E006] Not Found Error: tests/pos/i12953.scala:6:23 -------------------------
-6 |case class Bar[A](@Ann[A] foo: String)
-  |                       ^
-  |                       Not found: type A
-  |
-  | longer explanation available when compiling with `-explain`
--- Warning: tests/pos/i12953.scala:1:25 ----------------------------------------
-1 |class Schema(impl: Class[_]) extends scala.annotation.StaticAnnotation
-  |                         ^
-  |`_` is deprecated for wildcard arguments of types: use `?` instead
-  |This construct can be rewritten automatically under -rewrite -source 3.4-migration.
-```
-
 ### One type checking error involving Selectable:
 - tests/pos/i2997.scala