Files
Nim/tests/ccgbugs/t13902.nim
Timothee Cour 95fd8ae93c fix #13902 distinct uint64 type corruption on 32-bit with borrow (#13907) [backport:1.2]
* fix #13902 distinct uint64 type corruption on 32-bit with borrow

Co-authored-by: Timothee Cour <timothee.cour2+lightsail@gmail.com>
2020-04-08 09:56:16 +02:00

13 lines
342 B
Nim

#issue #13902
block:
type Slot = distinct uint64
var s = Slot(1)
proc `$`(x: Slot): string {.borrow.}
proc `+=`(x: var Slot, y: uint64) {.borrow.}
# test was failing with either 0 or 2 echos but not with 1 echo
# echo "s = ", s
s += 1
# echo "s = ", s
doAssert s.uint64 == 2, $s # was failing, showing 18419607611339964418