Fix macro dependency tracking for this

The symbols of trees do not have enough information to determine the full dependencies. For example, if we have an `Ident` we need to look at its type to figure out which is the `this` prefix on which it is defined. Fix #18434

compiler/src/dotty/tools/dotc/inlines/Inliner.scala

@@ -1065,15 +1065,23 @@ class Inliner(val call: tpd.Tree)(using Context):
  * This corresponds to the symbols that will need to be interpreted.
  */
  private def macroDependencies(tree: Tree)(using Context) =
+ val typeAccumulator = new TypeAccumulator[List[Symbol]] {
+ def apply(x: List[Symbol], tp: Type): List[Symbol] = tp match
+ case tp: TermRef =>
+ if tp.symbol.isDefinedInCurrentRun then foldOver(tp.symbol :: x, tp)
+ else foldOver(x, tp)
+ case tp: ThisType if tp.typeSymbol.isDefinedInCurrentRun =>
+ foldOver(tp.typeSymbol :: x, tp)
+ case _ =>
+ x
+ }
  new TreeAccumulator[List[Symbol]] {
  override def apply(syms: List[Symbol], tree: tpd.Tree)(using Context): List[Symbol] =
- tree match {
- case tree: RefTree if tree.isTerm && level == -1 && tree.symbol.isDefinedInCurrentRun && !tree.symbol.isLocal =>
- foldOver(tree.symbol :: syms, tree)
- case _: This if level == -1 && tree.symbol.isDefinedInCurrentRun =>
- tree.symbol :: syms
+ tree match
+ case tree: RefTree if tree.isTerm && level == -1 && !tree.symbol.isLocal =>
+ typeAccumulator(syms, tree.tpe)
  case _: TypTree => syms
  case _ => foldOver(syms, tree)
- }
  }.apply(Nil, tree)
+
 end Inliner

tests/pos-macros/i18434/Inline_2.scala

@@ -0,0 +1,8 @@
+package user
+
+import defn.Macro
+
+object Inline extends Macro {
+ inline def callMacro(): Int =
+ ${ impl() }
+}

tests/pos-macros/i18434/Macro_1.scala

@@ -0,0 +1,7 @@
+package defn
+
+import scala.quoted.*
+
+abstract class Macro {
+ def impl()(using Quotes): Expr[Int] = '{1}
+}

tests/pos-macros/i18434/Test_2.scala

@@ -0,0 +1,5 @@
+package user
+
+object Test {
+ Inline.callMacro()
+}