Merge pull request #9316 from dotty-staging/fix-#9310

Fix #9310: Harden avoidMap

Author: odersky

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

@@ -699,7 +699,7 @@ trait ImplicitRunInfo:
 
       def apply(t: Type) = t.dealias match
         case t: TypeRef =>
-          if isAnchor(t.symbol) then t else applyToUnderlying(t)
+          if t.symbol.isClass || isAnchor(t.symbol) then t else applyToUnderlying(t)
         case t: TypeVar => apply(t.underlying)
         case t: ParamRef => applyToUnderlying(t)
         case t: ConstantType => apply(t.underlying)

tests/neg/i9310.scala

@@ -0,0 +1,5 @@
+//AE-d101cfe6d25117a51897609e673f6c8e74d31e6e
+val foo @ this = 0
+class Foo {
+  foo { } // error
+}