Update macro check

scala · Oct 23, 2023 · 947c808 · 947c808
1 parent bb8cb81
commit 947c808
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/compiler/src/dotty/tools/dotc/transform/YCheckPositions.scala b/compiler/src/dotty/tools/dotc/transform/YCheckPositions.scala
@@ -62,9 +62,7 @@ class YCheckPositions extends Phase {
   private def isMacro(call: Tree)(using Context) =
     call.symbol.is(Macro) ||
     (call.symbol.isClass && call.tpe.derivesFrom(defn.MacroAnnotationClass)) ||
-    // The call of a macro after typer is encoded as a Select while other inlines are Ident
-    // TODO remove this distinction once Inline nodes of expanded macros can be trusted (also in Inliner.inlineCallTrace)
-    (!(ctx.phase <= postTyperPhase) && call.isInstanceOf[Select])
+    (!(ctx.phase <= postTyperPhase) && call.symbol.is(Macro))
 
 }