Simplify synthetization of scala.quoted.Type

Author: nicolasstucki

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

@@ -48,23 +48,18 @@ class Synthesizer(typer: Typer)(using @constructorOnly c: Context):
       case _ => EmptyTree
   end synthesizedClassTag
 
-  /** Synthesize the tree for `'[T]` for an implicit `scala.quoted.Type[T]`.
+  /** Synthesize the tree for `scala.quoted.Type[T]` for an implicit `scala.quoted.Type[T]`.
    *  `T` is deeply dealiased to avoid references to local type aliases.
    */
   val synthesizedTypeTag: SpecialHandler = (formal, span) =>
-    def quotedType(t: Type) =
-      val qctx = ctx.typer.inferImplicitArg(defn.QuoteContextClass.typeRef, span)
-      qctx.tpe match
-        case tpe: Implicits.SearchFailureType => report.error(tpe.msg, ctx.source.atSpan(span))
-        case _ =>
-      ref(defn.QuotedTypeModule_apply).appliedToType(t).select(nme.apply).appliedTo(qctx)
-    formal.argInfos match
-      case arg :: Nil =>
-        val deepDealias = new TypeMap:
-          def apply(tp: Type): Type = mapOver(tp.dealias)
-        quotedType(deepDealias(arg))
+    val qctx = ctx.typer.inferImplicitArg(defn.QuoteContextClass.typeRef, span)
+    qctx.tpe match
+      case tpe: Implicits.SearchFailureType => report.error(tpe.msg, ctx.source.atSpan(span))
       case _ =>
-        EmptyTree
+    val deepDealias = new TypeMap:
+      def apply(tp: Type): Type = mapOver(tp.dealias)
+    val t = deepDealias(formal.select(tpnme.spliceType))
+    ref(defn.QuotedTypeModule_apply).appliedToType(t).select(nme.apply).appliedTo(qctx)
   end synthesizedTypeTag
 
   val synthesizedTupleFunction: SpecialHandler = (formal, span) =>