JuliaLang/julia — comment on commit 716cb77a92fe288f18fc131c950cc4a35815e437
File:  line 0
By JeffBezanson:

The problem is there is a conflict as to whether `T-->Int` or `T-->T` is more consistent and predictable. It's a little unnerving that `uint(x)+uint(y)` does not have enough type information in it, and needs to be `uint(uint(x)+uint(y))`.