tests/ui/pattern/usefulness/nested-non-exhaustive-enums.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

//@ aux-build:non-exhaustive.rs

extern crate non_exhaustive;

use non_exhaustive::NonExhaustiveEnum;

fn main() {
    match Some(NonExhaustiveEnum::A) {
        //~^ ERROR non-exhaustive patterns: `Some(_)` not covered [E0004]
        //~| NOTE pattern `Some(_)` not covered
        //~| NOTE `Option<NonExhaustiveEnum>` defined here
        //~| NOTE the matched value is of type `Option<NonExhaustiveEnum>`
        //~| NOTE `NonExhaustiveEnum` is marked as non-exhaustive
        Some(NonExhaustiveEnum::A) => {}
        Some(NonExhaustiveEnum::B) => {}
        None => {}
    }
}