Ignore types in macro runtime dependencies

We can have different kinds of type references in the contents of a
splice. We do not care about types because those are erased and the
interpreter emulates erased semantics. These types are in |Tree|s that
extend |TypeTree| or |RefTree| referring to type.

Author: nicolasstucki

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

@@ -1882,7 +1882,7 @@ class Inliner(call: tpd.Tree, rhsToInline: tpd.Tree)(using Context) {
       override def apply(syms: List[Symbol], tree: tpd.Tree)(using Context): List[Symbol] =
         if level != -1 then foldOver(syms, tree)
         else tree match {
-          case tree: RefTree if tree.symbol.isDefinedInCurrentRun && !tree.symbol.isLocal =>
+          case tree: RefTree if tree.isTerm && tree.symbol.isDefinedInCurrentRun && !tree.symbol.isLocal =>
             foldOver(tree.symbol :: syms, tree)
           case Quoted(body) =>
             level += 1
@@ -1896,8 +1896,8 @@ class Inliner(call: tpd.Tree, rhsToInline: tpd.Tree)(using Context) {
             level -= 1
             try apply(syms, body)
             finally level += 1
-          case TypeApply(fun, _) =>
-            apply(syms, fun)
+          case _: TypTree =>
+            syms
           case _ =>
             foldOver(syms, tree)
         }

tests/pos-macros/i12498a/Macro_1.scala

@@ -0,0 +1,7 @@
+import scala.quoted.*
+
+class Wrapper[T](t: T):
+  inline def showType: String = ${ Wrapper.showTypeImpl[T]}
+
+object Wrapper:
+  def showTypeImpl[U](using Quotes): Expr[String] = Expr("foo")

tests/pos-macros/i12498a/Test_2.scala

@@ -0,0 +1,3 @@
+class Person
+
+def test =  Wrapper(new Person).showType

tests/pos-macros/i12498b/Macro_1.scala

@@ -0,0 +1,8 @@
+import scala.quoted.*
+
+
+class Wrapper[T](t: T):
+  inline def nothing: T = ${ Wrapper.nothing : Expr[T] }
+
+object Wrapper:
+  def nothing(using Quotes): Expr[Nothing] = '{???}

tests/pos-macros/i12498b/Test_2.scala

@@ -0,0 +1,3 @@
+class Person
+
+def test =  Wrapper(new Person).nothing

tests/pos-macros/i12498c/Macro_1.scala

@@ -0,0 +1,8 @@
+import scala.quoted.*
+
+
+class Wrapper[T](t: T):
+  inline def emptyList: List[T] = ${ Wrapper.emptyListImpl : Expr[List[T]] }
+
+object Wrapper:
+  def emptyListImpl(using Quotes): Expr[List[Nothing]] = Expr(Nil)

tests/pos-macros/i12498c/Test_2.scala

@@ -0,0 +1,3 @@
+class Person
+
+def test =  Wrapper(new Person).emptyList