Ignore StaleSymbol exceptions when testing whether dependencies should be ignored

Fixes #13532

A question is whether the catch should be in `ignoreDependency` in the SBT dependency
extractor or in `isAbsent` itself. I put it in `ignoreDependency` for now in order
not to hide possible stale symbol errors since isAbsent is called quite often.

Author: odersky

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

@@ -14,6 +14,7 @@ import dotty.tools.dotc.core.Names._
 import dotty.tools.dotc.core.Phases._
 import dotty.tools.dotc.core.StdNames._
 import dotty.tools.dotc.core.Symbols._
+import dotty.tools.dotc.core.Denotations.StaleSymbol
 import dotty.tools.dotc.core.Types._
 import dotty.tools.dotc.transform.SymUtils._
 import dotty.tools.dotc.util.{SrcPos, NoSourcePosition}
@@ -340,12 +341,16 @@ private class ExtractDependenciesCollector extends tpd.TreeTraverser { thisTreeT
     else DependencyByInheritance
 
   private def ignoreDependency(sym: Symbol)(using Context) =
-    !sym.exists ||
-    sym.isAbsent(canForce = false) || // ignore dependencies that have a symbol but do not exist.
-                                      // e.g. java.lang.Object companion object
-    sym.isEffectiveRoot ||
-    sym.isAnonymousFunction ||
-    sym.isAnonymousClass
+    try
+      !sym.exists ||
+      sym.isAbsent(canForce = false) || // ignore dependencies that have a symbol but do not exist.
+                                        // e.g. java.lang.Object companion object
+      sym.isEffectiveRoot ||
+      sym.isAnonymousFunction ||
+      sym.isAnonymousClass
+    catch case ex: StaleSymbol =>
+      true
+
 
   /** Traverse the tree of a source file and record the dependencies and used names which
    *  can be retrieved using `dependencies` and`usedNames`.

tests/pos/i13532/Bar.scala

@@ -0,0 +1,7 @@
+package testcode
+
+import testcode.Foo
+
+class Bar(f: Foo) {
+	TestMacro.call()
+}

tests/pos/i13532/Foo.scala

@@ -0,0 +1,5 @@
+package testcode
+
+class Foo {
+	TestMacro.call()
+}

tests/pos/i13532/TestMacro.scala

@@ -0,0 +1,8 @@
+package testcode
+
+import scala.quoted.Quotes
+
+object TestMacro {
+    private def impl()(using Quotes) = '{ 123 }
+    inline def call(): Int = ${ impl() }
+}