Bail out of checking anonymous classes

Author: natsukagami

compiler/src/dotty/tools/dotc/transform/init/Checking.scala

@@ -350,7 +350,11 @@ object Checking {
             PromoteCold(eff.source, state.path).toErrors
 
           case pot @ Warm(cls, outer) =>
-            checkPromoteWarm(pot, eff)
+            if cls.isAnonymousClass then
+              // bail out for now, see https://github.com/lampepfl/dotty/pull/11533#issuecomment-811819003
+              PromoteWarm(pot, eff.source, state.path).toErrors
+            else
+              checkPromoteWarm(pot, eff)
 
           case Fun(pots, effs) =>
             val errs1 = state.test {