fix: Fix incremental compilation of macros

**Problem**
sbt-deps phase runs after the Typer, but prior to the Inliner.
This means that the Zinc won't be able to track the symbolic
dependency from the use site to the generated code,
unless the code exists as a form of quotation.
This often results in under-compilation of the macro use sites.

**Solution**

1. Move the sbt-deps phase after the Inliner, which expands the macros
2. Traverse the Inlined tree, and treat it like a normal code

Author: eed3si9n

compiler/src/dotty/tools/dotc/Compiler.scala

@@ -35,7 +35,6 @@ class Compiler {
     List(new TyperPhase) ::         // Compiler frontend: namer, typer
     List(CheckUnused.PostTyper(), CheckShadowing()) :: // Check for unused, shadowed elements
     List(new YCheckPositions) ::    // YCheck positions
-    List(new sbt.ExtractDependencies) :: // Sends information on classes' dependencies to sbt via callbacks
     List(new semanticdb.ExtractSemanticDB.ExtractSemanticInfo) :: // Extract info into .semanticdb files
     List(new PostTyper) ::          // Additional checks and cleanups after type checking
     List(new UnrollDefinitions) ::  // Unroll annotated methods if detected in PostTyper
@@ -48,6 +47,7 @@ class Compiler {
     List(new Pickler) ::            // Generate TASTY info
     List(new sbt.ExtractAPI) ::     // Sends a representation of the API of classes to sbt via callbacks
     List(new Inlining) ::           // Inline and execute macros
+    List(new sbt.ExtractDependencies) :: // Sends information on classes' dependencies to sbt via callbacks
     List(new PostInlining) ::       // Add mirror support for inlined code
     List(new Staging) ::            // Check staging levels and heal staged types
     List(new Splicing) ::           // Replace level 1 splices with holes

compiler/src/dotty/tools/dotc/sbt/ExtractDependencies.scala

@@ -227,10 +227,12 @@ private class ExtractDependenciesCollector(rec: DependencyRecorder) extends tpd.
     }
 
     tree match {
-      case tree: Inlined if !tree.inlinedFromOuterScope =>
+      case tree: Inlined =>
         // The inlined call is normally ignored by TreeTraverser but we need to
         // record it as a dependency
-        traverse(tree.call)
+        if !tree.inlinedFromOuterScope then
+          traverse(tree.call)
+        traverseChildren(tree)
       case vd: ValDef if vd.symbol.is(ModuleVal) =>
         // Don't visit module val
       case t: Template if t.symbol.owner.is(ModuleClass) =>

sbt-test/source-dependencies/macro-expansion-dependencies-4/D0.scala

@@ -0,0 +1,3 @@
+package example
+
+class D0

sbt-test/source-dependencies/macro-expansion-dependencies-4/D1.scala

@@ -0,0 +1,3 @@
+package example
+
+class D1

sbt-test/source-dependencies/macro-expansion-dependencies-4/D2.scala

@@ -0,0 +1,3 @@
+package example
+
+class D2

sbt-test/source-dependencies/macro-expansion-dependencies-4/Test.scala

@@ -0,0 +1,12 @@
+package example
+
+import com.softwaremill.macwire.*
+
+object Test:
+  try
+    val d = wire[D0]
+    val d1 = wire[D1]
+    val d2 = wire[D2]
+  catch
+    case e: Throwable =>
+      e.printStackTrace()

sbt-test/source-dependencies/macro-expansion-dependencies-4/build.sbt

@@ -0,0 +1,6 @@
+name := "add-dep"
+libraryDependencies ++= Seq(
+  "com.softwaremill.macwire" %% "macros" % "2.6.6" % Provided,
+  "com.softwaremill.macwire" %% "util"   % "2.6.6",
+)
+Compile / incOptions ~= { _.withRecompileAllFraction(1.0) }

sbt-test/source-dependencies/macro-expansion-dependencies-4/changes/D0.scala

@@ -0,0 +1,3 @@
+package example
+
+class D0(de1: D1)

sbt-test/source-dependencies/macro-expansion-dependencies-4/project/DottyInjectedPlugin.scala

@@ -0,0 +1,11 @@
+import sbt._
+import Keys._
+
+object DottyInjectedPlugin extends AutoPlugin {
+  override def requires = plugins.JvmPlugin
+  override def trigger = allRequirements
+
+  override val projectSettings = Seq(
+    scalaVersion := sys.props("plugin.scalaVersion")
+  )
+}

sbt-test/source-dependencies/macro-expansion-dependencies-4/test

@@ -0,0 +1,5 @@
+> compile
+
+$ copy-file changes/D0.scala D0.scala
+
+-> compile