Fix to pickling literals

Need to pickle the type, not the constant stored in the literal,
because constant folding might have adapted the type, but leaves
the constant value unchanged. An example is in pickleOK/unions.scala
where a float 1.0f was adapted to Double, so should be pickled as
a Double 1.0.

1 files changed, 7 insertions, 2 deletions

diff --git a/src/dotty/tools/dotc/core/pickling/TreePickler.scala b/src/dotty/tools/dotc/core/pickling/TreePickler.scala
index 3ac2d0adc..3004043d5 100644
--- a/src/dotty/tools/dotc/core/pickling/TreePickler.scala
+++ b/src/dotty/tools/dotc/core/pickling/TreePickler.scala
@@ -312,8 +312,13 @@ class TreePickler(pickler: TastyPickler) {
           pickleTree(fun)
           args.foreach(pickleTpt)
         }
-      case Literal(const) =>
-        pickleConstant(const)
+      case Literal(const1) =>
+        pickleConstant {
+          tree.tpe match {
+            case ConstantType(const2) => const2
+            case _ => const1
+          }
+        }
       case Super(qual, mix) =>
         writeByte(SUPER)
         withLength {