src/test/ui/feature-gates/feature-gate-non_exhaustive_omitted_patterns_lint.rs

   1 // check-fail
   2
   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`
   9
  10 fn main() {
  11     enum Foo {
  12         A, B, C,
  13     }
  14
  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`
  20     match Foo::A {
  21         Foo::A => {}
  22         Foo::B => {}
  23     }
  24     //~^^^^ ERROR non-exhaustive patterns: `Foo::C` not covered
  25
  26     match Foo::A {
  27         Foo::A => {}
  28         Foo::B => {}
  29         #[warn(non_exhaustive_omitted_patterns)]
  30         _ => {}
  31     }
  32     //~^^^ WARNING unknown lint: `non_exhaustive_omitted_patterns`
  33     //~| WARNING unknown lint: `non_exhaustive_omitted_patterns`
  34 }