Merge pull request #9085 from LemonBoy/fix-9079

Constant folding should not drop distinct types

Author: Araq

compiler/semfold.nim

@@ -37,10 +37,7 @@ proc newIntNodeT*(intVal: BiggestInt, n: PNode; g: ModuleGraph): PNode =
 
 proc newFloatNodeT*(floatVal: BiggestFloat, n: PNode; g: ModuleGraph): PNode =
   result = newFloatNode(nkFloatLit, floatVal)
-  if skipTypes(n.typ, abstractVarRange).kind == tyFloat:
-    result.typ = getFloatLitType(g, result)
-  else:
-    result.typ = n.typ
+  result.typ = n.typ
   result.info = n.info
 
 proc newStrNodeT*(strVal: string, n: PNode; g: ModuleGraph): PNode =

tests/distinct/t9079.nim

@@ -0,0 +1,19 @@
+discard """
+  output: '''
+25.0
+210.0
+'''
+"""
+
+type
+  Dollars = distinct float
+
+proc `$`(d: Dollars): string {.borrow.}
+proc `*` *(a, b: Dollars): Dollars {.borrow.}
+proc `+` *(a, b: Dollars): Dollars {.borrow.}
+
+var a = Dollars(20)
+a = Dollars(25.0)
+echo a
+a = 10.Dollars * (20.Dollars + 1.Dollars)
+echo a