graydon/rust — comment on commit 7fd62bb2b57e71899748bdb9fed24b5fc5474a67
File:  line 0
By nikomatsakis:

If I am reading this correctly, it unifies `uint` and `u32/u64` (depending on target). Does this mean that you can have a program which typechecks when targeting 64-bit but not 32-bit? This seems... unfortunate. I would expect that if I am fastidious about using uint and int, my program will be portable.

I understand the problem of the math module, but I'd rather this unification be "opt-in", either by adding another integral type or by having an attribute on the module being type-checked.