Remove dealiasing of infered quoted types

Author: nicolasstucki

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

@@ -57,12 +57,8 @@ class Synthesizer(typer: Typer)(using @constructorOnly c: Context):
         ctx.compilationUnit.needsStaging = true // We will need to run ReifyQuotes
       ref(defn.InternalQuoted_typeQuote).appliedToType(t)
     formal.argInfos match
-      case arg :: Nil =>
-        val deepDealias = new TypeMap:
-          def apply(tp: Type): Type = mapOver(tp.dealias)
-        quotedType(deepDealias(arg))
-      case _ =>
-        EmptyTree
+      case arg :: Nil => quotedType(arg)
+      case _ => EmptyTree
   end synthesizedTypeTag
 
   val synthesizedTupleFunction: SpecialHandler = (formal, span) =>