Precise range exhaustiveness check for match on integer patterns #1550
Description
In theory the compiler should be able to detect that the following range is exhaustive and not error about non-exaustive match:
fn wont_compile(x : u8) {
match (x) {
0x00 ... 0xff => { }
}
}Proposed (as a side-portion) in #880
Discussed in rust-lang/rust#12483 and rust-lang/rust#32381
jonas-schievink, vi, ticki, codyps, oli-obk and 14 more