This is a very specific solution. I'd like a much more generic solution based on static preconditions like in Ada:
Given that, nonzero literals become just one specific case. Rust should try to implement generic solutions.
1 Like