diff options
-rw-r--r-- | src/dotty/tools/dotc/core/pickling/TreePickler.scala | 9 |
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 { |