src/test/ui/check_match/issue-43253.rs

// build-pass (FIXME(62277): could be check-pass?)

#![feature(exclusive_range_pattern)]
#![warn(unreachable_patterns)]

fn main() {
    // These cases should generate no warning.
    match 10 {
        1..10 => {},
        10 => {},
        _ => {},
    }

    match 10 {
        1..10 => {},
        9..=10 => {},
        _ => {},
    }

    match 10 {
        1..10 => {},
        10..=10 => {},
        _ => {},
    }

    // These cases should generate an "unreachable pattern" warning.
    match 10 {
        1..10 => {},
        9 => {},
        _ => {},
    }

    match 10 {
        1..10 => {},
        8..=9 => {},
        _ => {},
    }

    match 10 {
        1..10 => {},
        9..=9 => {},
        _ => {},
    }
}