Add missing position

Fixes #13563

Author: nicolasstucki

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

@@ -102,7 +102,7 @@ class PickleQuotes extends MacroTransform {
           tpt match
             case Select(t, _) if tpt.symbol == defn.QuotedType_splice =>
               // `Type.of[t.Underlying](quotes)`  --> `t`
-              ref(t.symbol)
+              ref(t.symbol)(using ctx.withSource(tpt.source)).withSpan(tpt.span)
             case _ =>
               val (splices, tptWithHoles) = makeHoles(tpt)
               ReifiedQuote(quotes, tptWithHoles, splices, tpt.tpe, true)

tests/pos-macros/i13563.scala

@@ -0,0 +1,3 @@
+import scala.quoted.*
+def foo(using Quotes): Unit =
+  '{ def bar[T](): Unit = ${ summon[Type[T]]; ??? }; () }