#![feature(never_type)]
#![feature(exhaustive_patterns)]
#![deny(unreachable_patterns)]

fn main() {}

fn foo(nevers: &[!]) {
    match nevers {
        &[] => (),
    };

    match nevers {
        &[] => (),
        &[_] => (),        //~ ERROR unreachable pattern
        &[_, _, ..] => (), //~ ERROR unreachable pattern
    };

    match nevers {
        //~^ ERROR non-exhaustive patterns: `&[]` not covered
        &[_] => (), //~ ERROR unreachable pattern
    };
}