Add missing span in QuoteMatcher

Fixes #18155

Author: nicolasstucki

compiler/src/scala/quoted/runtime/impl/QuoteMatcher.scala

@@ -135,7 +135,9 @@ class QuoteMatcher(debug: Boolean) {
         // After matching and doing all subtype checks, we have to approximate all the type bindings
         // that we have found, seal them in a quoted.Type and add them to the result
         val typeHoleApproximations = typeHoles.map(typeHoleApproximation)
-        val matchedTypes = typeHoleApproximations.map(tpe => new TypeImpl(TypeTree(tpe), spliceScope))
+        val matchedTypes = typeHoleApproximations.map { tpe =>
+          new TypeImpl(TypeTree(tpe).withSpan(scrutinee.span), spliceScope)
+        }
         val matchedExprs =
           val typeHoleMap: Type => Type =
             if typeHoles.isEmpty then identity

tests/pos-macros/i18155/Macro_1.scala

@@ -0,0 +1,15 @@
+import scala.quoted.*
+
+object Macro:
+  transparent inline def foo: Any = ${ fooImpl }
+
+  def fooImpl(using Quotes): Expr[Any] =
+    import quotes.reflect.*
+    '{
+        val xxx = ${
+          Type.of[Int] match
+            case '[tpe] =>
+              Typed(Expr(1).asTerm, TypeTree.of[tpe]).asExpr
+        }
+        xxx
+    }

tests/pos-macros/i18155/Test_2.scala

@@ -0,0 +1,2 @@
+@main def run() =
+  println(Macro.foo)