experiment: do not bring forward symbols defined in transform and bac…

…kend phases

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

@@ -755,6 +755,7 @@ object Denotations {
       }
       if (!symbol.exists) return updateValidity()
       if (!coveredInterval.containsPhaseId(ctx.phaseId)) return NoDenotation
+      if (coveredInterval.firstPhaseId >= Phases.firstTransformPhase.id) return NoDenotation
       // Moved to a companion class, likely at a later phase (in MoveStatics)
       this match {
         case symd: SymDenotation if movedToCompanionClass(symd) => return NoDenotation

tests/pos-macros/i21844/Macro.scala

@@ -0,0 +1,6 @@
+import scala.quoted.*
+
+object Macro:
+  inline def foo = ${ fooImpl }
+  def fooImpl(using Quotes): Expr[Int] =
+    '{ 123 }

tests/pos-macros/i21844/SubClass.scala

@@ -0,0 +1,3 @@
+class SubClass extends SuperClass
+object SubClass:
+  val foo: Int = Macro.foo

tests/pos-macros/i21844/SuperClassWithLazyVal.scala

@@ -0,0 +1,2 @@
+class SuperClass:
+  lazy val xyz: Int = 123