src/test/ui/pattern/usefulness/match-arm-statics-2.stderr

   1 error[E0004]: non-exhaustive patterns: `(true, false)` not covered
   2   --> $DIR/match-arm-statics-2.rs:17:11
   3    |
   4 LL |     match (true, false) {
   5    |           ^^^^^^^^^^^^^ pattern `(true, false)` not covered
   6    |
   7    = note: the matched value is of type `(bool, bool)`
   8 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
   9    |
  10 LL ~         (false, true) => (),
  11 LL +         (true, false) => todo!()
  12    |
  13
  14 error[E0004]: non-exhaustive patterns: `Some(Some(West))` not covered
  15   --> $DIR/match-arm-statics-2.rs:29:11
  16    |
  17 LL |     match Some(Some(North)) {
  18    |           ^^^^^^^^^^^^^^^^^ pattern `Some(Some(West))` not covered
  19    |
  20 note: `Option<Option<Direction>>` defined here
  21   --> $SRC_DIR/core/src/option.rs:LL:COL
  22    |
  23 LL | pub enum Option<T> {
  24    | ------------------
  25 ...
  26 LL |     Some(#[stable(feature = "rust1", since = "1.0.0")] T),
  27    |     ^^^^
  28    |     |
  29    |     not covered
  30    |     not covered
  31    = note: the matched value is of type `Option<Option<Direction>>`
  32 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
  33    |
  34 LL ~         None => (),
  35 LL +         Some(Some(West)) => todo!()
  36    |
  37
  38 error[E0004]: non-exhaustive patterns: `Foo { bar: Some(North), baz: NewBool(true) }` not covered
  39   --> $DIR/match-arm-statics-2.rs:48:11
  40    |
  41 LL |     match (Foo { bar: Some(North), baz: NewBool(true) }) {
  42    |           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ pattern `Foo { bar: Some(North), baz: NewBool(true) }` not covered
  43    |
  44 note: `Foo` defined here
  45   --> $DIR/match-arm-statics-2.rs:40:8
  46    |
  47 LL | struct Foo {
  48    |        ^^^
  49    = note: the matched value is of type `Foo`
  50 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
  51    |
  52 LL ~         Foo { bar: Some(EAST), .. } => (),
  53 LL +         Foo { bar: Some(North), baz: NewBool(true) } => todo!()
  54    |
  55
  56 error: aborting due to 3 previous errors
  57
  58 For more information about this error, try `rustc --explain E0004`.