Fix #7358: Add missing span to spliced tree

Author: nicolasstucki

compiler/src/dotty/tools/dotc/transform/ReifyQuotes.scala

@@ -134,7 +134,7 @@ class ReifyQuotes extends MacroTransform {
     private def addTags(expr: Tree)(implicit ctx: Context): Tree = {
 
       def mkTagSymbolAndAssignType(spliced: TermRef): TypeDef = {
-        val splicedTree = tpd.ref(spliced)
+        val splicedTree = tpd.ref(spliced).withSpan(expr.span)
         val rhs = transform(splicedTree.select(tpnme.splice))
         val alias = ctx.typeAssigner.assignType(untpd.TypeBoundsTree(rhs, rhs), rhs, rhs)
         val local = ctx.newSymbol(

tests/pos/i7358.scala

@@ -0,0 +1,16 @@
+package test
+
+import scala.quoted._
+import scala.compiletime._
+
+inline def summonT[Tp <: Tuple] <: Tuple = inline erasedValue[Tp] match {
+  case _ : Unit => ()
+  case _ : (hd *: tl) => {
+    type H = hd
+    summonFrom {
+      case given _ : Type[H] => summon[Type[H]] *: summonT[tl]
+    }
+  }
+}
+
+def test[T : Type] = summonT[Tuple1[List[T]]]