Support zinc invalidation for type arguments of macro calls

Author: jchyb

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

@@ -165,6 +165,30 @@ private class ExtractDependenciesCollector(rec: DependencyRecorder) extends tpd.
         rec.addClassDependency(parent.tpe.classSymbol, depContext)
     }
 
+  // Only reference DependencyByMacroExpansion if it an be found on the classpath,
+  // as it was added later to the zinc.apiinfo DependencyContext enum
+  // e.g. pre 1.10.x sbt would throw java.lang.NoSuchFieldError errors here
+  lazy val allowsDependencyByMacroExpansion =
+    classOf[DependencyContext].getFields().exists(_.getName() == "DependencyByMacroExpansion")
+
+  private def addMacroDependency(sym: Symbol)(using Context): Unit =
+    if (allowsDependencyByMacroExpansion) {
+      if (!ignoreDependency(sym)) {
+        if (!sym.is(Package)) {
+          val enclOrModuleClass = if (sym.is(ModuleVal)) sym.moduleClass else sym.enclosingClass
+          assert(enclOrModuleClass.isClass, s"$enclOrModuleClass, $sym")
+
+          rec.addClassDependency(enclOrModuleClass, DependencyByMacroExpansion)
+        }
+      }
+    }
+
+  private def addMacroDependency(trees: List[Tree])(using Context): Unit =
+    val traverser = new TypeDependencyTraverser {
+      def addDependency(symbol: Symbol) = addMacroDependency(symbol)
+    }
+    trees.foreach(tree => traverser.traverse(tree.tpe))
+
   private def depContextOf(cls: Symbol)(using Context): DependencyContext =
     if cls.isLocal then LocalDependencyByInheritance
     else DependencyByInheritance
@@ -226,6 +250,11 @@ private class ExtractDependenciesCollector(rec: DependencyRecorder) extends tpd.
       case _ =>
     }
 
+    tree match
+      case TypeApply(fun, args) if fun.symbol.is(Inline) =>
+        addMacroDependency(args)
+      case _ =>
+
     tree match {
       case tree: Inlined if !tree.inlinedFromOuterScope =>
         // The inlined call is normally ignored by TreeTraverser but we need to

project/Build.scala

@@ -1354,7 +1354,7 @@ object Build {
       Compile / scalacOptions ++= Seq("--java-output-version", Versions.minimumJVMVersion),
       // Add all the project's external dependencies
       libraryDependencies ++= Seq(
-        ("org.scala-sbt" %% "zinc-apiinfo" % "1.8.0" % Test).cross(CrossVersion.for3Use2_13),
+        ("org.scala-sbt" %% "zinc-apiinfo" % "1.10.8" % Test).cross(CrossVersion.for3Use2_13),
         "com.github.sbt" % "junit-interface" % "0.13.3" % Test,
         ),
       // Exclude the transitive dependencies from `zinc-apiinfo` that causes issues at the moment