| error: a never pattern is always unreachable |
| --> $DIR/check.rs:14:20 |
| | |
| LL | Some(!) => {} |
| | ^^ |
| | | |
| | this will never be executed |
| | help: remove this expression |
| |
| error: a guard on a never pattern will never be run |
| --> $DIR/check.rs:19:20 |
| | |
| LL | Some(!) if true, |
| | ^^^^ help: remove this guard |
| |
| error: a never pattern is always unreachable |
| --> $DIR/check.rs:24:28 |
| | |
| LL | Some(!) if true => {} |
| | ^^ |
| | | |
| | this will never be executed |
| | help: remove this expression |
| |
| error: a never pattern is always unreachable |
| --> $DIR/check.rs:29:27 |
| | |
| LL | Some(never!()) => {} |
| | ^^ |
| | | |
| | this will never be executed |
| | help: remove this expression |
| |
| error[E0004]: non-exhaustive patterns: `Some(_)` not covered |
| --> $DIR/check.rs:18:11 |
| | |
| LL | match None::<Void> { |
| | ^^^^^^^^^^^^ pattern `Some(_)` not covered |
| | |
| note: `Option<Void>` defined here |
| --> $SRC_DIR/core/src/option.rs:LL:COL |
| ::: $SRC_DIR/core/src/option.rs:LL:COL |
| | |
| = note: not covered |
| = note: the matched value is of type `Option<Void>` |
| help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown |
| | |
| LL ~ None => {}, |
| LL + Some(_) => todo!() |
| | |
| |
| error[E0004]: non-exhaustive patterns: `Some(_)` not covered |
| --> $DIR/check.rs:23:11 |
| | |
| LL | match None::<Void> { |
| | ^^^^^^^^^^^^ pattern `Some(_)` not covered |
| | |
| note: `Option<Void>` defined here |
| --> $SRC_DIR/core/src/option.rs:LL:COL |
| ::: $SRC_DIR/core/src/option.rs:LL:COL |
| | |
| = note: not covered |
| = note: the matched value is of type `Option<Void>` |
| help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown |
| | |
| LL ~ None => {}, |
| LL + Some(_) => todo!() |
| | |
| |
| error: aborting due to 6 previous errors |
| |
| For more information about this error, try `rustc --explain E0004`. |