Merge pull request #15548 from KacperFKorban/fix-i9314

Try to avoid static symbols if leaving them would make a leak

Author: odersky

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

@@ -511,7 +511,7 @@ object TypeOps:
       @threadUnsafe lazy val forbidden = symsToAvoid.toSet
       def toAvoid(tp: NamedType) =
         val sym = tp.symbol
-        !sym.isStatic && forbidden.contains(sym)
+        forbidden.contains(sym)
 
       override def apply(tp: Type): Type = tp match
         case tp: TypeVar if mapCtx.typerState.constraint.contains(tp) =>

tests/pos/i9314.scala

@@ -0,0 +1,4 @@
+final class fooAnnot[T](member: T) extends scala.annotation.StaticAnnotation // must have type parameter
+
+@fooAnnot(new RecAnnotated {}) // must pass instance of anonymous subclass
+trait RecAnnotated