Rollup merge of #89428 - DevinR528:reachable-featuregate, r=Nadrieril,camelid

matthiaskrgr · web-flow · commit cfa5391f0bb9 · 2021-10-10T18:22:19.000+02:00
Feature gate the non_exhaustive_omitted_patterns lint Fixes #89374 Add the machinery to gate the new `non_exhaustive_omitted_patterns` lint. relates to #89105 and #89423
diff --git a/compiler/rustc_feature/src/active.rs b/compiler/rustc_feature/src/active.rs
@@ -678,6 +678,9 @@ declare_features! (
     /// Allows `#[doc(cfg_hide(...))]`.
     (active, doc_cfg_hide, "1.57.0", Some(43781), None),
 
+    /// Allows using the `non_exhaustive_omitted_patterns` lint.
+    (active, non_exhaustive_omitted_patterns_lint, "1.57.0", Some(89554), None),
+
     // -------------------------------------------------------------------------
     // feature-group-end: actual feature gates
     // -------------------------------------------------------------------------
diff --git a/compiler/rustc_lint_defs/src/builtin.rs b/compiler/rustc_lint_defs/src/builtin.rs
@@ -6,6 +6,7 @@
 
 use crate::{declare_lint, declare_lint_pass, FutureIncompatibilityReason};
 use rustc_span::edition::Edition;
+use rustc_span::symbol::sym;
 
 declare_lint! {
     /// The `forbidden_lint_groups` lint detects violations of
@@ -3476,6 +3477,8 @@ declare_lint! {
     /// }
     ///
     /// // in crate B
+    /// #![feature(non_exhaustive_omitted_patterns_lint)]
+    ///
     /// match Bar::A {
     ///     Bar::A => {},
     ///     #[warn(non_exhaustive_omitted_patterns)]
@@ -3512,6 +3515,7 @@ declare_lint! {
     pub NON_EXHAUSTIVE_OMITTED_PATTERNS,
     Allow,
     "detect when patterns of types marked `non_exhaustive` are missed",
+    @feature_gate = sym::non_exhaustive_omitted_patterns_lint;
 }
 
 declare_lint! {
diff --git a/compiler/rustc_span/src/symbol.rs b/compiler/rustc_span/src/symbol.rs
@@ -893,6 +893,7 @@ symbols! {
         nomem,
         non_ascii_idents,
         non_exhaustive,
+        non_exhaustive_omitted_patterns_lint,
         non_modrs_mods,
         none_error,
         nontemporal_store,
diff --git a/src/test/ui/feature-gates/feature-gate-non_exhaustive_omitted_patterns_lint.rs b/src/test/ui/feature-gates/feature-gate-non_exhaustive_omitted_patterns_lint.rs
@@ -0,0 +1,31 @@
+#![deny(non_exhaustive_omitted_patterns)]
+//~^ ERROR the `non_exhaustive_omitted_patterns` lint is unstable
+//~| ERROR the `non_exhaustive_omitted_patterns` lint is unstable
+#![allow(non_exhaustive_omitted_patterns)]
+//~^ ERROR the `non_exhaustive_omitted_patterns` lint is unstable
+//~| ERROR the `non_exhaustive_omitted_patterns` lint is unstable
+
+fn main() {
+    enum Foo {
+        A, B, C,
+    }
+
+    #[allow(non_exhaustive_omitted_patterns)]
+    match Foo::A {
+        Foo::A => {}
+        Foo::B => {}
+    }
+    //~^^^^^ ERROR the `non_exhaustive_omitted_patterns` lint is unstable
+    //~| ERROR the `non_exhaustive_omitted_patterns` lint is unstable
+    //~| ERROR the `non_exhaustive_omitted_patterns` lint is unstable
+    //~| ERROR the `non_exhaustive_omitted_patterns` lint is unstable
+
+    match Foo::A {
+        Foo::A => {}
+        Foo::B => {}
+        #[warn(non_exhaustive_omitted_patterns)]
+        _ => {}
+    }
+    //~^^^ ERROR the `non_exhaustive_omitted_patterns` lint is unstable
+    //~| ERROR the `non_exhaustive_omitted_patterns` lint is unstable
+}
diff --git a/src/test/ui/feature-gates/feature-gate-non_exhaustive_omitted_patterns_lint.stderr b/src/test/ui/feature-gates/feature-gate-non_exhaustive_omitted_patterns_lint.stderr
@@ -0,0 +1,93 @@
+error[E0658]: the `non_exhaustive_omitted_patterns` lint is unstable
+  --> $DIR/feature-gate-non_exhaustive_omitted_patterns_lint.rs:1:1
+   |
+LL | #![deny(non_exhaustive_omitted_patterns)]
+   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+   |
+   = note: see issue #89554 <https://github.com/rust-lang/rust/issues/89554> for more information
+   = help: add `#![feature(non_exhaustive_omitted_patterns_lint)]` to the crate attributes to enable
+
+error[E0658]: the `non_exhaustive_omitted_patterns` lint is unstable
+  --> $DIR/feature-gate-non_exhaustive_omitted_patterns_lint.rs:4:1
+   |
+LL | #![allow(non_exhaustive_omitted_patterns)]
+   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+   |
+   = note: see issue #89554 <https://github.com/rust-lang/rust/issues/89554> for more information
+   = help: add `#![feature(non_exhaustive_omitted_patterns_lint)]` to the crate attributes to enable
+
+error[E0658]: the `non_exhaustive_omitted_patterns` lint is unstable
+  --> $DIR/feature-gate-non_exhaustive_omitted_patterns_lint.rs:13:5
+   |
+LL |     #[allow(non_exhaustive_omitted_patterns)]
+   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+   |
+   = note: see issue #89554 <https://github.com/rust-lang/rust/issues/89554> for more information
+   = help: add `#![feature(non_exhaustive_omitted_patterns_lint)]` to the crate attributes to enable
+
+error[E0658]: the `non_exhaustive_omitted_patterns` lint is unstable
+  --> $DIR/feature-gate-non_exhaustive_omitted_patterns_lint.rs:13:5
+   |
+LL |     #[allow(non_exhaustive_omitted_patterns)]
+   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+   |
+   = note: see issue #89554 <https://github.com/rust-lang/rust/issues/89554> for more information
+   = help: add `#![feature(non_exhaustive_omitted_patterns_lint)]` to the crate attributes to enable
+
+error[E0658]: the `non_exhaustive_omitted_patterns` lint is unstable
+  --> $DIR/feature-gate-non_exhaustive_omitted_patterns_lint.rs:26:9
+   |
+LL |         #[warn(non_exhaustive_omitted_patterns)]
+   |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+   |
+   = note: see issue #89554 <https://github.com/rust-lang/rust/issues/89554> for more information
+   = help: add `#![feature(non_exhaustive_omitted_patterns_lint)]` to the crate attributes to enable
+
+error[E0658]: the `non_exhaustive_omitted_patterns` lint is unstable
+  --> $DIR/feature-gate-non_exhaustive_omitted_patterns_lint.rs:1:1
+   |
+LL | #![deny(non_exhaustive_omitted_patterns)]
+   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+   |
+   = note: see issue #89554 <https://github.com/rust-lang/rust/issues/89554> for more information
+   = help: add `#![feature(non_exhaustive_omitted_patterns_lint)]` to the crate attributes to enable
+
+error[E0658]: the `non_exhaustive_omitted_patterns` lint is unstable
+  --> $DIR/feature-gate-non_exhaustive_omitted_patterns_lint.rs:4:1
+   |
+LL | #![allow(non_exhaustive_omitted_patterns)]
+   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+   |
+   = note: see issue #89554 <https://github.com/rust-lang/rust/issues/89554> for more information
+   = help: add `#![feature(non_exhaustive_omitted_patterns_lint)]` to the crate attributes to enable
+
+error[E0658]: the `non_exhaustive_omitted_patterns` lint is unstable
+  --> $DIR/feature-gate-non_exhaustive_omitted_patterns_lint.rs:13:5
+   |
+LL |     #[allow(non_exhaustive_omitted_patterns)]
+   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+   |
+   = note: see issue #89554 <https://github.com/rust-lang/rust/issues/89554> for more information
+   = help: add `#![feature(non_exhaustive_omitted_patterns_lint)]` to the crate attributes to enable
+
+error[E0658]: the `non_exhaustive_omitted_patterns` lint is unstable
+  --> $DIR/feature-gate-non_exhaustive_omitted_patterns_lint.rs:13:5
+   |
+LL |     #[allow(non_exhaustive_omitted_patterns)]
+   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+   |
+   = note: see issue #89554 <https://github.com/rust-lang/rust/issues/89554> for more information
+   = help: add `#![feature(non_exhaustive_omitted_patterns_lint)]` to the crate attributes to enable
+
+error[E0658]: the `non_exhaustive_omitted_patterns` lint is unstable
+  --> $DIR/feature-gate-non_exhaustive_omitted_patterns_lint.rs:26:9
+   |
+LL |         #[warn(non_exhaustive_omitted_patterns)]
+   |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+   |
+   = note: see issue #89554 <https://github.com/rust-lang/rust/issues/89554> for more information
+   = help: add `#![feature(non_exhaustive_omitted_patterns_lint)]` to the crate attributes to enable
+
+error: aborting due to 10 previous errors
+
+For more information about this error, try `rustc --explain E0658`.
diff --git a/src/test/ui/rfc-2008-non-exhaustive/reachable-patterns.rs b/src/test/ui/rfc-2008-non-exhaustive/reachable-patterns.rs
@@ -1,5 +1,7 @@
 // Test that the `non_exhaustive_omitted_patterns` lint is triggered correctly.
 
+#![feature(non_exhaustive_omitted_patterns_lint)]
+
 // aux-build:enums.rs
 extern crate enums;
 
diff --git a/src/test/ui/rfc-2008-non-exhaustive/reachable-patterns.stderr b/src/test/ui/rfc-2008-non-exhaustive/reachable-patterns.stderr
@@ -1,47 +1,47 @@
 warning: some fields are not explicitly listed
-  --> $DIR/reachable-patterns.rs:127:9
+  --> $DIR/reachable-patterns.rs:129:9
    |
 LL |         VariantNonExhaustive::Bar { x, .. } => {}
    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ field `y` not listed
    |
 note: the lint level is defined here
-  --> $DIR/reachable-patterns.rs:124:12
+  --> $DIR/reachable-patterns.rs:126:12
    |
 LL |     #[warn(non_exhaustive_omitted_patterns)]
    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
    = help: ensure that all fields are mentioned explicitly by adding the suggested fields
    = note: the pattern is of type `VariantNonExhaustive` and the `non_exhaustive_omitted_patterns` attribute was found
 
 warning: some fields are not explicitly listed
-  --> $DIR/reachable-patterns.rs:132:9
+  --> $DIR/reachable-patterns.rs:134:9
    |
 LL |     let FunctionalRecord { first_field, second_field, .. } = FunctionalRecord::default();
    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ field `third_field` not listed
    |
 note: the lint level is defined here
-  --> $DIR/reachable-patterns.rs:131:12
+  --> $DIR/reachable-patterns.rs:133:12
    |
 LL |     #[warn(non_exhaustive_omitted_patterns)]
    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
    = help: ensure that all fields are mentioned explicitly by adding the suggested fields
    = note: the pattern is of type `FunctionalRecord` and the `non_exhaustive_omitted_patterns` attribute was found
 
 warning: some fields are not explicitly listed
-  --> $DIR/reachable-patterns.rs:140:29
+  --> $DIR/reachable-patterns.rs:142:29
    |
 LL |     let NestedStruct { bar: NormalStruct { first_field, .. }, .. } = NestedStruct::default();
    |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ field `second_field` not listed
    |
 note: the lint level is defined here
-  --> $DIR/reachable-patterns.rs:139:12
+  --> $DIR/reachable-patterns.rs:141:12
    |
 LL |     #[warn(non_exhaustive_omitted_patterns)]
    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
    = help: ensure that all fields are mentioned explicitly by adding the suggested fields
    = note: the pattern is of type `NormalStruct` and the `non_exhaustive_omitted_patterns` attribute was found
 
 warning: some fields are not explicitly listed
-  --> $DIR/reachable-patterns.rs:140:9
+  --> $DIR/reachable-patterns.rs:142:9
    |
 LL |     let NestedStruct { bar: NormalStruct { first_field, .. }, .. } = NestedStruct::default();
    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ field `foo` not listed
@@ -50,63 +50,63 @@ LL |     let NestedStruct { bar: NormalStruct { first_field, .. }, .. } = Nested
    = note: the pattern is of type `NestedStruct` and the `non_exhaustive_omitted_patterns` attribute was found
 
 error: some variants are not matched explicitly
-  --> $DIR/reachable-patterns.rs:54:9
+  --> $DIR/reachable-patterns.rs:56:9
    |
 LL |         _ => {}
    |         ^ pattern `Struct { .. }` not covered
    |
 note: the lint level is defined here
-  --> $DIR/reachable-patterns.rs:53:16
+  --> $DIR/reachable-patterns.rs:55:16
    |
 LL |         #[deny(non_exhaustive_omitted_patterns)]
    |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
    = help: ensure that all variants are matched explicitly by adding the suggested match arms
    = note: the matched value is of type `NonExhaustiveEnum` and the `non_exhaustive_omitted_patterns` attribute was found
 
 error: some variants are not matched explicitly
-  --> $DIR/reachable-patterns.rs:61:9
+  --> $DIR/reachable-patterns.rs:63:9
    |
 LL |         _ => {}
    |         ^ pattern `Tuple(_)` not covered
    |
 note: the lint level is defined here
-  --> $DIR/reachable-patterns.rs:60:16
+  --> $DIR/reachable-patterns.rs:62:16
    |
 LL |         #[deny(non_exhaustive_omitted_patterns)]
    |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
    = help: ensure that all variants are matched explicitly by adding the suggested match arms
    = note: the matched value is of type `NonExhaustiveEnum` and the `non_exhaustive_omitted_patterns` attribute was found
 
 error: some variants are not matched explicitly
-  --> $DIR/reachable-patterns.rs:71:9
+  --> $DIR/reachable-patterns.rs:73:9
    |
 LL |         _ => {}
    |         ^ pattern `Unit` not covered
    |
 note: the lint level is defined here
-  --> $DIR/reachable-patterns.rs:70:16
+  --> $DIR/reachable-patterns.rs:72:16
    |
 LL |         #[deny(non_exhaustive_omitted_patterns)]
    |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
    = help: ensure that all variants are matched explicitly by adding the suggested match arms
    = note: the matched value is of type `NonExhaustiveEnum` and the `non_exhaustive_omitted_patterns` attribute was found
 
 error: some variants are not matched explicitly
-  --> $DIR/reachable-patterns.rs:88:32
+  --> $DIR/reachable-patterns.rs:90:32
    |
 LL |         NestedNonExhaustive::A(_) => {}
    |                                ^ patterns `Tuple(_)` and `Struct { .. }` not covered
    |
 note: the lint level is defined here
-  --> $DIR/reachable-patterns.rs:85:12
+  --> $DIR/reachable-patterns.rs:87:12
    |
 LL |     #[deny(non_exhaustive_omitted_patterns)]
    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
    = help: ensure that all variants are matched explicitly by adding the suggested match arms
    = note: the matched value is of type `NonExhaustiveEnum` and the `non_exhaustive_omitted_patterns` attribute was found
 
 error: some variants are not matched explicitly
-  --> $DIR/reachable-patterns.rs:90:9
+  --> $DIR/reachable-patterns.rs:92:9
    |
 LL |         _ => {}
    |         ^ pattern `C` not covered
@@ -115,27 +115,27 @@ LL |         _ => {}
    = note: the matched value is of type `NestedNonExhaustive` and the `non_exhaustive_omitted_patterns` attribute was found
 
 error: some variants are not matched explicitly
-  --> $DIR/reachable-patterns.rs:120:9
+  --> $DIR/reachable-patterns.rs:122:9
    |
 LL |         _ => {}
    |         ^ patterns `HostUnreachable`, `NetworkUnreachable`, `NetworkDown` and 18 more not covered
    |
 note: the lint level is defined here
-  --> $DIR/reachable-patterns.rs:97:12
+  --> $DIR/reachable-patterns.rs:99:12
    |
 LL |     #[deny(non_exhaustive_omitted_patterns)]
    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
    = help: ensure that all variants are matched explicitly by adding the suggested match arms
    = note: the matched value is of type `ErrorKind` and the `non_exhaustive_omitted_patterns` attribute was found
 
 error: some variants are not matched explicitly
-  --> $DIR/reachable-patterns.rs:157:9
+  --> $DIR/reachable-patterns.rs:159:9
    |
 LL |         _ => {}
    |         ^ pattern `A(_)` not covered
    |
 note: the lint level is defined here
-  --> $DIR/reachable-patterns.rs:155:12
+  --> $DIR/reachable-patterns.rs:157:12
    |
 LL |     #[deny(non_exhaustive_omitted_patterns)]
    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

Original file line number	Diff line number	Diff line change
`@@ -1,47 +1,47 @@`
`1`	`1`	`warning: some fields are not explicitly listed`
`2`		`- --> $DIR/reachable-patterns.rs:127:9`
	`2`	`+ --> $DIR/reachable-patterns.rs:129:9`
`3`	`3`	`\|`
`4`	`4`	`LL \| VariantNonExhaustive::Bar { x, .. } => {}`
`5`	`5`	\| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ field `y` not listed
`6`	`6`	`\|`
`7`	`7`	`note: the lint level is defined here`
`8`		`- --> $DIR/reachable-patterns.rs:124:12`
	`8`	`+ --> $DIR/reachable-patterns.rs:126:12`
`9`	`9`	`\|`
`10`	`10`	`LL \| #[warn(non_exhaustive_omitted_patterns)]`
`11`	`11`	`\| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^`
`12`	`12`	`= help: ensure that all fields are mentioned explicitly by adding the suggested fields`
`13`	`13`	= note: the pattern is of type `VariantNonExhaustive` and the `non_exhaustive_omitted_patterns` attribute was found
`14`	`14`
`15`	`15`	`warning: some fields are not explicitly listed`
`16`		`- --> $DIR/reachable-patterns.rs:132:9`
	`16`	`+ --> $DIR/reachable-patterns.rs:134:9`
`17`	`17`	`\|`
`18`	`18`	`LL \| let FunctionalRecord { first_field, second_field, .. } = FunctionalRecord::default();`
`19`	`19`	\| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ field `third_field` not listed
`20`	`20`	`\|`
`21`	`21`	`note: the lint level is defined here`
`22`		`- --> $DIR/reachable-patterns.rs:131:12`
	`22`	`+ --> $DIR/reachable-patterns.rs:133:12`
`23`	`23`	`\|`
`24`	`24`	`LL \| #[warn(non_exhaustive_omitted_patterns)]`
`25`	`25`	`\| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^`
`26`	`26`	`= help: ensure that all fields are mentioned explicitly by adding the suggested fields`
`27`	`27`	= note: the pattern is of type `FunctionalRecord` and the `non_exhaustive_omitted_patterns` attribute was found
`28`	`28`
`29`	`29`	`warning: some fields are not explicitly listed`
`30`		`- --> $DIR/reachable-patterns.rs:140:29`
	`30`	`+ --> $DIR/reachable-patterns.rs:142:29`
`31`	`31`	`\|`
`32`	`32`	`LL \| let NestedStruct { bar: NormalStruct { first_field, .. }, .. } = NestedStruct::default();`
`33`	`33`	\| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ field `second_field` not listed
`34`	`34`	`\|`
`35`	`35`	`note: the lint level is defined here`
`36`		`- --> $DIR/reachable-patterns.rs:139:12`
	`36`	`+ --> $DIR/reachable-patterns.rs:141:12`
`37`	`37`	`\|`
`38`	`38`	`LL \| #[warn(non_exhaustive_omitted_patterns)]`
`39`	`39`	`\| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^`
`40`	`40`	`= help: ensure that all fields are mentioned explicitly by adding the suggested fields`
`41`	`41`	= note: the pattern is of type `NormalStruct` and the `non_exhaustive_omitted_patterns` attribute was found
`42`	`42`
`43`	`43`	`warning: some fields are not explicitly listed`
`44`		`- --> $DIR/reachable-patterns.rs:140:9`
	`44`	`+ --> $DIR/reachable-patterns.rs:142:9`
`45`	`45`	`\|`
`46`	`46`	`LL \| let NestedStruct { bar: NormalStruct { first_field, .. }, .. } = NestedStruct::default();`
`47`	`47`	\| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ field `foo` not listed
`@@ -50,63 +50,63 @@ LL \| let NestedStruct { bar: NormalStruct { first_field, .. }, .. } = Nested`
`50`	`50`	= note: the pattern is of type `NestedStruct` and the `non_exhaustive_omitted_patterns` attribute was found
`51`	`51`
`52`	`52`	`error: some variants are not matched explicitly`
`53`		`- --> $DIR/reachable-patterns.rs:54:9`
	`53`	`+ --> $DIR/reachable-patterns.rs:56:9`
`54`	`54`	`\|`
`55`	`55`	`LL \| _ => {}`
`56`	`56`	\| ^ pattern `Struct { .. }` not covered
`57`	`57`	`\|`
`58`	`58`	`note: the lint level is defined here`
`59`		`- --> $DIR/reachable-patterns.rs:53:16`
	`59`	`+ --> $DIR/reachable-patterns.rs:55:16`
`60`	`60`	`\|`
`61`	`61`	`LL \| #[deny(non_exhaustive_omitted_patterns)]`
`62`	`62`	`\| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^`
`63`	`63`	`= help: ensure that all variants are matched explicitly by adding the suggested match arms`
`64`	`64`	= note: the matched value is of type `NonExhaustiveEnum` and the `non_exhaustive_omitted_patterns` attribute was found
`65`	`65`
`66`	`66`	`error: some variants are not matched explicitly`
`67`		`- --> $DIR/reachable-patterns.rs:61:9`
	`67`	`+ --> $DIR/reachable-patterns.rs:63:9`
`68`	`68`	`\|`
`69`	`69`	`LL \| _ => {}`
`70`	`70`	\| ^ pattern `Tuple(_)` not covered
`71`	`71`	`\|`
`72`	`72`	`note: the lint level is defined here`
`73`		`- --> $DIR/reachable-patterns.rs:60:16`
	`73`	`+ --> $DIR/reachable-patterns.rs:62:16`
`74`	`74`	`\|`
`75`	`75`	`LL \| #[deny(non_exhaustive_omitted_patterns)]`
`76`	`76`	`\| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^`
`77`	`77`	`= help: ensure that all variants are matched explicitly by adding the suggested match arms`
`78`	`78`	= note: the matched value is of type `NonExhaustiveEnum` and the `non_exhaustive_omitted_patterns` attribute was found
`79`	`79`
`80`	`80`	`error: some variants are not matched explicitly`
`81`		`- --> $DIR/reachable-patterns.rs:71:9`
	`81`	`+ --> $DIR/reachable-patterns.rs:73:9`
`82`	`82`	`\|`
`83`	`83`	`LL \| _ => {}`
`84`	`84`	\| ^ pattern `Unit` not covered
`85`	`85`	`\|`
`86`	`86`	`note: the lint level is defined here`
`87`		`- --> $DIR/reachable-patterns.rs:70:16`
	`87`	`+ --> $DIR/reachable-patterns.rs:72:16`
`88`	`88`	`\|`
`89`	`89`	`LL \| #[deny(non_exhaustive_omitted_patterns)]`
`90`	`90`	`\| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^`
`91`	`91`	`= help: ensure that all variants are matched explicitly by adding the suggested match arms`
`92`	`92`	= note: the matched value is of type `NonExhaustiveEnum` and the `non_exhaustive_omitted_patterns` attribute was found
`93`	`93`
`94`	`94`	`error: some variants are not matched explicitly`
`95`		`- --> $DIR/reachable-patterns.rs:88:32`
	`95`	`+ --> $DIR/reachable-patterns.rs:90:32`
`96`	`96`	`\|`
`97`	`97`	`LL \| NestedNonExhaustive::A(_) => {}`
`98`	`98`	\| ^ patterns `Tuple(_)` and `Struct { .. }` not covered
`99`	`99`	`\|`
`100`	`100`	`note: the lint level is defined here`
`101`		`- --> $DIR/reachable-patterns.rs:85:12`
	`101`	`+ --> $DIR/reachable-patterns.rs:87:12`
`102`	`102`	`\|`
`103`	`103`	`LL \| #[deny(non_exhaustive_omitted_patterns)]`
`104`	`104`	`\| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^`
`105`	`105`	`= help: ensure that all variants are matched explicitly by adding the suggested match arms`
`106`	`106`	= note: the matched value is of type `NonExhaustiveEnum` and the `non_exhaustive_omitted_patterns` attribute was found
`107`	`107`
`108`	`108`	`error: some variants are not matched explicitly`
`109`		`- --> $DIR/reachable-patterns.rs:90:9`
	`109`	`+ --> $DIR/reachable-patterns.rs:92:9`
`110`	`110`	`\|`
`111`	`111`	`LL \| _ => {}`
`112`	`112`	\| ^ pattern `C` not covered
`@@ -115,27 +115,27 @@ LL \| _ => {}`
`115`	`115`	= note: the matched value is of type `NestedNonExhaustive` and the `non_exhaustive_omitted_patterns` attribute was found
`116`	`116`
`117`	`117`	`error: some variants are not matched explicitly`
`118`		`- --> $DIR/reachable-patterns.rs:120:9`
	`118`	`+ --> $DIR/reachable-patterns.rs:122:9`
`119`	`119`	`\|`
`120`	`120`	`LL \| _ => {}`
`121`	`121`	\| ^ patterns `HostUnreachable`, `NetworkUnreachable`, `NetworkDown` and 18 more not covered
`122`	`122`	`\|`
`123`	`123`	`note: the lint level is defined here`
`124`		`- --> $DIR/reachable-patterns.rs:97:12`
	`124`	`+ --> $DIR/reachable-patterns.rs:99:12`
`125`	`125`	`\|`
`126`	`126`	`LL \| #[deny(non_exhaustive_omitted_patterns)]`
`127`	`127`	`\| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^`
`128`	`128`	`= help: ensure that all variants are matched explicitly by adding the suggested match arms`
`129`	`129`	= note: the matched value is of type `ErrorKind` and the `non_exhaustive_omitted_patterns` attribute was found
`130`	`130`
`131`	`131`	`error: some variants are not matched explicitly`
`132`		`- --> $DIR/reachable-patterns.rs:157:9`
	`132`	`+ --> $DIR/reachable-patterns.rs:159:9`
`133`	`133`	`\|`
`134`	`134`	`LL \| _ => {}`
`135`	`135`	\| ^ pattern `A(_)` not covered
`136`	`136`	`\|`
`137`	`137`	`note: the lint level is defined here`
`138`		`- --> $DIR/reachable-patterns.rs:155:12`
	`138`	`+ --> $DIR/reachable-patterns.rs:157:12`
`139`	`139`	`\|`
`140`	`140`	`LL \| #[deny(non_exhaustive_omitted_patterns)]`
`141`	`141`	`\| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^`