As usual, the problem with adding impls is inference.
Today you get 100_u8 | 1
=> 101_u8
. But with a full set of impls, you’d get 100_u8 | 1
=> 101_i32
, since the 1
falls back to i32
like it does in things like println!("{}", 1)
.
As usual, the problem with adding impls is inference.
Today you get 100_u8 | 1
=> 101_u8
. But with a full set of impls, you’d get 100_u8 | 1
=> 101_i32
, since the 1
falls back to i32
like it does in things like println!("{}", 1)
.