Why is `2_u32..=u32::MAX` not covered when matching on `u64 % 2`? If I try to build the following code:
