0u8..-1 compiles, runs (as 0..255) without warning or error. Debug assertions don't fire.
We error on 0..-1u8 error: unary negation of unsigned integers may be removed in the future.
We can't "fix" this backwards compatibly after 1.0.
0u8..-1 should either warn or trip debug assertions.