Fix #7046: Literal types don't work with quotes

Author: anatoliykmetyuk

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

@@ -230,7 +230,7 @@ class ReifyQuotes extends MacroTransform {
       def pickleAsTasty() = {
         val meth =
           if (isType) ref(defn.Unpickler_unpickleType).appliedToType(originalTp)
-          else ref(defn.Unpickler_unpickleExpr).appliedToType(originalTp.widen)
+          else ref(defn.Unpickler_unpickleExpr).appliedToType(originalTp)
         val spliceResType =
           if (isType) defn.QuotedTypeClass.typeRef.appliedTo(WildcardType)
           else defn.FunctionType(1, isContextual = true).appliedTo(defn.QuoteContextClass.typeRef, defn.QuotedExprClass.typeRef.appliedTo(defn.AnyType)) | defn.QuotedTypeClass.typeRef.appliedTo(WildcardType)
@@ -244,10 +244,7 @@ class ReifyQuotes extends MacroTransform {
         if (splices.isEmpty && body.symbol.isPrimitiveValueClass) tag(s"${body.symbol.name}Tag")
         else pickleAsTasty().select(nme.apply).appliedTo(qctx)
       }
-      else toValue(body) match {
-        case Some(value) => pickleAsValue(value)
-        case _ => pickleAsTasty()
-      }
+      else pickleAsTasty()
     }
 
     /** If inside a quote, split the body of the splice into a core and a list of embedded quotes

tests/pos/i7046.scala

@@ -0,0 +1,7 @@
+import scala.quoted._
+
+inline def mcr: Any = ${mcrImpl}
+def mcrImpl given (ctx: QuoteContext): Expr[Any] = {
+  val tpl: Expr[1] = '{1}
+  '{()}
+}