Matching on modulo failure.

[44100hertz]

When matching on an unsigned modulus, I can cover all possible branches and still get a complaint.

fn thing(i: u8) -> &'static str {
    match i % 3 {
        0 => "Zero",
        1 => "One",
        2 => "Two",
    }
}

error[E0004]: non-exhaustive patterns: `_` not covered
 --> /tmp/modmatch.rs:2:11
  |
2 |     match i % 3 {
  |           ^^^^^ pattern `_` not covered

This is easily covered with _ => unreachable!(), possibly the most idiomatic use of said macro. I just wonder if it's possible for rust to be a bit smarter about this type of case.

[est31]

related issue: rust-lang/rfcs#1550

[arielb1]

This should be an RFC - this is a more general version of rust-lang/rfcs#1550. IIRC we already rejected it several times so you might want to look at the history of this proposal before writing one.

Closing this issue because of that.