| error[E0004]: non-exhaustive patterns: type `UninhabitedEnum` is non-empty |
| --> $DIR/match_with_exhaustive_patterns.rs:22:11 |
| | |
| LL | match x {} |
| | ^ |
| | |
| note: `UninhabitedEnum` defined here |
| --> $DIR/auxiliary/uninhabited.rs:5:1 |
| | |
| LL | pub enum UninhabitedEnum { |
| | ^^^^^^^^^^^^^^^^^^^^^^^^ |
| = note: the matched value is of type `UninhabitedEnum`, which is marked as non-exhaustive |
| help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern as shown |
| | |
| LL ~ match x { |
| LL + _ => todo!(), |
| LL ~ } |
| | |
| |
| error[E0004]: non-exhaustive patterns: type `UninhabitedStruct` is non-empty |
| --> $DIR/match_with_exhaustive_patterns.rs:26:11 |
| | |
| LL | match x {} |
| | ^ |
| | |
| note: `UninhabitedStruct` defined here |
| --> $DIR/auxiliary/uninhabited.rs:9:1 |
| | |
| LL | pub struct UninhabitedStruct { |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| = note: the matched value is of type `UninhabitedStruct` |
| help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern as shown |
| | |
| LL ~ match x { |
| LL + _ => todo!(), |
| LL ~ } |
| | |
| |
| error[E0004]: non-exhaustive patterns: type `UninhabitedTupleStruct` is non-empty |
| --> $DIR/match_with_exhaustive_patterns.rs:30:11 |
| | |
| LL | match x {} |
| | ^ |
| | |
| note: `UninhabitedTupleStruct` defined here |
| --> $DIR/auxiliary/uninhabited.rs:14:1 |
| | |
| LL | pub struct UninhabitedTupleStruct(!); |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| = note: the matched value is of type `UninhabitedTupleStruct` |
| help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern as shown |
| | |
| LL ~ match x { |
| LL + _ => todo!(), |
| LL ~ } |
| | |
| |
| error[E0004]: non-exhaustive patterns: `UninhabitedVariants::Tuple(_)` and `UninhabitedVariants::Struct { .. }` not covered |
| --> $DIR/match_with_exhaustive_patterns.rs:34:11 |
| | |
| LL | match x {} |
| | ^ patterns `UninhabitedVariants::Tuple(_)` and `UninhabitedVariants::Struct { .. }` not covered |
| | |
| note: `UninhabitedVariants` defined here |
| --> $DIR/auxiliary/uninhabited.rs:16:1 |
| | |
| LL | pub enum UninhabitedVariants { |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| LL | #[non_exhaustive] Tuple(!), |
| | ----- not covered |
| LL | #[non_exhaustive] Struct { x: ! } |
| | ------ not covered |
| = note: the matched value is of type `UninhabitedVariants` |
| help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern, a match arm with multiple or-patterns as shown, or multiple match arms |
| | |
| LL ~ match x { |
| LL + UninhabitedVariants::Tuple(_) | UninhabitedVariants::Struct { .. } => todo!(), |
| LL ~ } |
| | |
| |
| error: aborting due to 4 previous errors |
| |
| For more information about this error, try `rustc --explain E0004`. |
