1 error: unreachable pattern
2 --> $DIR/empty-match.rs:37:9
7 note: the lint level is defined here
8 --> $DIR/empty-match.rs:8:9
10 LL | #![deny(unreachable_patterns)]
11 | ^^^^^^^^^^^^^^^^^^^^
13 error: unreachable pattern
14 --> $DIR/empty-match.rs:40:9
16 LL | _ if false => {},
19 error: unreachable pattern
20 --> $DIR/empty-match.rs:47:9
25 error: unreachable pattern
26 --> $DIR/empty-match.rs:50:9
28 LL | _ if false => {},
31 error: unreachable pattern
32 --> $DIR/empty-match.rs:57:9
37 error: unreachable pattern
38 --> $DIR/empty-match.rs:60:9
40 LL | _ if false => {},
43 error[E0004]: non-exhaustive patterns: type `u8` is non-empty
44 --> $DIR/empty-match.rs:78:20
46 LL | match_no_arms!(0u8);
49 = help: ensure that all possible cases are being handled, possibly by adding wildcards or more match arms
50 = note: the matched value is of type `u8`
52 error[E0004]: non-exhaustive patterns: type `NonEmptyStruct1` is non-empty
53 --> $DIR/empty-match.rs:79:20
55 LL | struct NonEmptyStruct1;
56 | ----------------------- `NonEmptyStruct1` defined here
58 LL | match_no_arms!(NonEmptyStruct1);
61 = help: ensure that all possible cases are being handled, possibly by adding wildcards or more match arms
62 = note: the matched value is of type `NonEmptyStruct1`
64 error[E0004]: non-exhaustive patterns: type `NonEmptyStruct2` is non-empty
65 --> $DIR/empty-match.rs:80:20
67 LL | struct NonEmptyStruct2(bool);
68 | ----------------------------- `NonEmptyStruct2` defined here
70 LL | match_no_arms!(NonEmptyStruct2(true));
71 | ^^^^^^^^^^^^^^^^^^^^^
73 = help: ensure that all possible cases are being handled, possibly by adding wildcards or more match arms
74 = note: the matched value is of type `NonEmptyStruct2`
76 error[E0004]: non-exhaustive patterns: type `NonEmptyUnion1` is non-empty
77 --> $DIR/empty-match.rs:81:20
79 LL | / union NonEmptyUnion1 {
82 | |_- `NonEmptyUnion1` defined here
84 LL | match_no_arms!((NonEmptyUnion1 { foo: () }));
85 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
87 = help: ensure that all possible cases are being handled, possibly by adding wildcards or more match arms
88 = note: the matched value is of type `NonEmptyUnion1`
90 error[E0004]: non-exhaustive patterns: type `NonEmptyUnion2` is non-empty
91 --> $DIR/empty-match.rs:82:20
93 LL | / union NonEmptyUnion2 {
97 | |_- `NonEmptyUnion2` defined here
99 LL | match_no_arms!((NonEmptyUnion2 { foo: () }));
100 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
102 = help: ensure that all possible cases are being handled, possibly by adding wildcards or more match arms
103 = note: the matched value is of type `NonEmptyUnion2`
105 error[E0004]: non-exhaustive patterns: `Foo(_)` not covered
106 --> $DIR/empty-match.rs:83:20
108 LL | / enum NonEmptyEnum1 {
112 | |_- `NonEmptyEnum1` defined here
114 LL | match_no_arms!(NonEmptyEnum1::Foo(true));
115 | ^^^^^^^^^^^^^^^^^^^^^^^^ pattern `Foo(_)` not covered
117 = help: ensure that all possible cases are being handled, possibly by adding wildcards or more match arms
118 = note: the matched value is of type `NonEmptyEnum1`
120 error[E0004]: non-exhaustive patterns: `Foo(_)` and `Bar` not covered
121 --> $DIR/empty-match.rs:84:20
123 LL | / enum NonEmptyEnum2 {
129 | |_- `NonEmptyEnum2` defined here
131 LL | match_no_arms!(NonEmptyEnum2::Foo(true));
132 | ^^^^^^^^^^^^^^^^^^^^^^^^ patterns `Foo(_)` and `Bar` not covered
134 = help: ensure that all possible cases are being handled, possibly by adding wildcards or more match arms
135 = note: the matched value is of type `NonEmptyEnum2`
137 error[E0004]: non-exhaustive patterns: `V1`, `V2`, `V3` and 2 more not covered
138 --> $DIR/empty-match.rs:85:20
140 LL | / enum NonEmptyEnum5 {
141 LL | | V1, V2, V3, V4, V5,
143 | |_- `NonEmptyEnum5` defined here
145 LL | match_no_arms!(NonEmptyEnum5::V1);
146 | ^^^^^^^^^^^^^^^^^ patterns `V1`, `V2`, `V3` and 2 more not covered
148 = help: ensure that all possible cases are being handled, possibly by adding wildcards or more match arms
149 = note: the matched value is of type `NonEmptyEnum5`
151 error[E0004]: non-exhaustive patterns: `_` not covered
152 --> $DIR/empty-match.rs:87:24
154 LL | match_guarded_arm!(0u8);
155 | ^^^ pattern `_` not covered
157 = help: ensure that all possible cases are being handled, possibly by adding wildcards or more match arms
158 = note: the matched value is of type `u8`
160 error[E0004]: non-exhaustive patterns: `NonEmptyStruct1` not covered
161 --> $DIR/empty-match.rs:88:24
163 LL | struct NonEmptyStruct1;
164 | ----------------------- `NonEmptyStruct1` defined here
166 LL | match_guarded_arm!(NonEmptyStruct1);
167 | ^^^^^^^^^^^^^^^ pattern `NonEmptyStruct1` not covered
169 = help: ensure that all possible cases are being handled, possibly by adding wildcards or more match arms
170 = note: the matched value is of type `NonEmptyStruct1`
172 error[E0004]: non-exhaustive patterns: `NonEmptyStruct2(_)` not covered
173 --> $DIR/empty-match.rs:89:24
175 LL | struct NonEmptyStruct2(bool);
176 | ----------------------------- `NonEmptyStruct2` defined here
178 LL | match_guarded_arm!(NonEmptyStruct2(true));
179 | ^^^^^^^^^^^^^^^^^^^^^ pattern `NonEmptyStruct2(_)` not covered
181 = help: ensure that all possible cases are being handled, possibly by adding wildcards or more match arms
182 = note: the matched value is of type `NonEmptyStruct2`
184 error[E0004]: non-exhaustive patterns: `NonEmptyUnion1 { .. }` not covered
185 --> $DIR/empty-match.rs:90:24
187 LL | / union NonEmptyUnion1 {
190 | |_- `NonEmptyUnion1` defined here
192 LL | match_guarded_arm!((NonEmptyUnion1 { foo: () }));
193 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ pattern `NonEmptyUnion1 { .. }` not covered
195 = help: ensure that all possible cases are being handled, possibly by adding wildcards or more match arms
196 = note: the matched value is of type `NonEmptyUnion1`
198 error[E0004]: non-exhaustive patterns: `NonEmptyUnion2 { .. }` not covered
199 --> $DIR/empty-match.rs:91:24
201 LL | / union NonEmptyUnion2 {
205 | |_- `NonEmptyUnion2` defined here
207 LL | match_guarded_arm!((NonEmptyUnion2 { foo: () }));
208 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ pattern `NonEmptyUnion2 { .. }` not covered
210 = help: ensure that all possible cases are being handled, possibly by adding wildcards or more match arms
211 = note: the matched value is of type `NonEmptyUnion2`
213 error[E0004]: non-exhaustive patterns: `Foo(_)` not covered
214 --> $DIR/empty-match.rs:92:24
216 LL | / enum NonEmptyEnum1 {
220 | |_- `NonEmptyEnum1` defined here
222 LL | match_guarded_arm!(NonEmptyEnum1::Foo(true));
223 | ^^^^^^^^^^^^^^^^^^^^^^^^ pattern `Foo(_)` not covered
225 = help: ensure that all possible cases are being handled, possibly by adding wildcards or more match arms
226 = note: the matched value is of type `NonEmptyEnum1`
228 error[E0004]: non-exhaustive patterns: `Foo(_)` and `Bar` not covered
229 --> $DIR/empty-match.rs:93:24
231 LL | / enum NonEmptyEnum2 {
237 | |_- `NonEmptyEnum2` defined here
239 LL | match_guarded_arm!(NonEmptyEnum2::Foo(true));
240 | ^^^^^^^^^^^^^^^^^^^^^^^^ patterns `Foo(_)` and `Bar` not covered
242 = help: ensure that all possible cases are being handled, possibly by adding wildcards or more match arms
243 = note: the matched value is of type `NonEmptyEnum2`
245 error[E0004]: non-exhaustive patterns: `V1`, `V2`, `V3` and 2 more not covered
246 --> $DIR/empty-match.rs:94:24
248 LL | / enum NonEmptyEnum5 {
249 LL | | V1, V2, V3, V4, V5,
251 | |_- `NonEmptyEnum5` defined here
253 LL | match_guarded_arm!(NonEmptyEnum5::V1);
254 | ^^^^^^^^^^^^^^^^^ patterns `V1`, `V2`, `V3` and 2 more not covered
256 = help: ensure that all possible cases are being handled, possibly by adding wildcards or more match arms
257 = note: the matched value is of type `NonEmptyEnum5`
259 error: aborting due to 22 previous errors
261 For more information about this error, try `rustc --explain E0004`.