3 #![deny(non_exhaustive_omitted_patterns)]
4 //~^ WARNING unknown lint: `non_exhaustive_omitted_patterns`
5 //~| WARNING unknown lint: `non_exhaustive_omitted_patterns`
6 #![allow(non_exhaustive_omitted_patterns)]
7 //~^ WARNING unknown lint: `non_exhaustive_omitted_patterns`
8 //~| WARNING unknown lint: `non_exhaustive_omitted_patterns`
15 #[allow(non_exhaustive_omitted_patterns)]
16 //~^ WARNING unknown lint: `non_exhaustive_omitted_patterns`
17 //~| WARNING unknown lint: `non_exhaustive_omitted_patterns`
18 //~| WARNING unknown lint: `non_exhaustive_omitted_patterns`
19 //~| WARNING unknown lint: `non_exhaustive_omitted_patterns`
24 //~^^^^ ERROR non-exhaustive patterns: `C` not covered
29 #[warn(non_exhaustive_omitted_patterns)]
32 //~^^^ WARNING unknown lint: `non_exhaustive_omitted_patterns`
33 //~| WARNING unknown lint: `non_exhaustive_omitted_patterns`