Check not only value equality of constants in Literalize postcondition but also type eqality

Author: DarkDimius

src/dotty/tools/dotc/transform/Literalize.scala

@@ -80,7 +80,8 @@ class Literalize extends MiniPhaseTransform { thisTransform =>
       case Literal(c @ Constant(treeValue)) =>
         tree.tpe match {
           case ConstantType(typeValue) =>
-            assert(treeValue == typeValue.value, i"Type of Literal $tree is inconsistent with underlying constant")
+            assert(treeValue == typeValue.value && treeValue.getClass == typeValue.getClass,
+              i"Type of Literal $tree is inconsistent with underlying constant")
           case tpe =>
             c.tpe =:= tpe
         }