src/test/ui/pattern/usefulness/issue-35609.stderr

   1 error[E0004]: non-exhaustive patterns: `(Enum::B, _)`, `(Enum::C, _)`, `(Enum::D, _)` and 2 more not covered
   2   --> $DIR/issue-35609.rs:10:11
   3    |
   4 LL |     match (A, ()) {
   5    |           ^^^^^^^ patterns `(Enum::B, _)`, `(Enum::C, _)`, `(Enum::D, _)` and 2 more not covered
   6    |
   7    = note: the matched value is of type `(Enum, ())`
   8 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern as shown, or multiple match arms
   9    |
  10 LL ~         (A, _) => {}
  11 LL +         _ => todo!()
  12    |
  13
  14 error[E0004]: non-exhaustive patterns: `(_, Enum::B)`, `(_, Enum::C)`, `(_, Enum::D)` and 2 more not covered
  15   --> $DIR/issue-35609.rs:14:11
  16    |
  17 LL |     match (A, A) {
  18    |           ^^^^^^ patterns `(_, Enum::B)`, `(_, Enum::C)`, `(_, Enum::D)` and 2 more not covered
  19    |
  20    = note: the matched value is of type `(Enum, Enum)`
  21 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern as shown, or multiple match arms
  22    |
  23 LL ~         (_, A) => {}
  24 LL +         _ => todo!()
  25    |
  26
  27 error[E0004]: non-exhaustive patterns: `((Enum::B, _), _)`, `((Enum::C, _), _)`, `((Enum::D, _), _)` and 2 more not covered
  28   --> $DIR/issue-35609.rs:18:11
  29    |
  30 LL |     match ((A, ()), ()) {
  31    |           ^^^^^^^^^^^^^ patterns `((Enum::B, _), _)`, `((Enum::C, _), _)`, `((Enum::D, _), _)` and 2 more not covered
  32    |
  33    = note: the matched value is of type `((Enum, ()), ())`
  34 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern as shown, or multiple match arms
  35    |
  36 LL ~         ((A, ()), _) => {}
  37 LL +         _ => todo!()
  38    |
  39
  40 error[E0004]: non-exhaustive patterns: `((Enum::B, _), _)`, `((Enum::C, _), _)`, `((Enum::D, _), _)` and 2 more not covered
  41   --> $DIR/issue-35609.rs:22:11
  42    |
  43 LL |     match ((A, ()), A) {
  44    |           ^^^^^^^^^^^^ patterns `((Enum::B, _), _)`, `((Enum::C, _), _)`, `((Enum::D, _), _)` and 2 more not covered
  45    |
  46    = note: the matched value is of type `((Enum, ()), Enum)`
  47 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern as shown, or multiple match arms
  48    |
  49 LL ~         ((A, ()), _) => {}
  50 LL +         _ => todo!()
  51    |
  52
  53 error[E0004]: non-exhaustive patterns: `((Enum::B, _), _)`, `((Enum::C, _), _)`, `((Enum::D, _), _)` and 2 more not covered
  54   --> $DIR/issue-35609.rs:26:11
  55    |
  56 LL |     match ((A, ()), ()) {
  57    |           ^^^^^^^^^^^^^ patterns `((Enum::B, _), _)`, `((Enum::C, _), _)`, `((Enum::D, _), _)` and 2 more not covered
  58    |
  59    = note: the matched value is of type `((Enum, ()), ())`
  60 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern as shown, or multiple match arms
  61    |
  62 LL ~         ((A, _), _) => {}
  63 LL +         _ => todo!()
  64    |
  65
  66 error[E0004]: non-exhaustive patterns: `S(Enum::B, _)`, `S(Enum::C, _)`, `S(Enum::D, _)` and 2 more not covered
  67   --> $DIR/issue-35609.rs:31:11
  68    |
  69 LL |     match S(A, ()) {
  70    |           ^^^^^^^^ patterns `S(Enum::B, _)`, `S(Enum::C, _)`, `S(Enum::D, _)` and 2 more not covered
  71    |
  72 note: `S` defined here
  73   --> $DIR/issue-35609.rs:6:8
  74    |
  75 LL | struct S(Enum, ());
  76    |        ^
  77    = note: the matched value is of type `S`
  78 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern as shown, or multiple match arms
  79    |
  80 LL ~         S(A, _) => {}
  81 LL +         _ => todo!()
  82    |
  83
  84 error[E0004]: non-exhaustive patterns: `Sd { x: Enum::B, .. }`, `Sd { x: Enum::C, .. }`, `Sd { x: Enum::D, .. }` and 2 more not covered
  85   --> $DIR/issue-35609.rs:35:11
  86    |
  87 LL |     match (Sd { x: A, y: () }) {
  88    |           ^^^^^^^^^^^^^^^^^^^^ patterns `Sd { x: Enum::B, .. }`, `Sd { x: Enum::C, .. }`, `Sd { x: Enum::D, .. }` and 2 more not covered
  89    |
  90 note: `Sd` defined here
  91   --> $DIR/issue-35609.rs:7:8
  92    |
  93 LL | struct Sd { x: Enum, y: () }
  94    |        ^^
  95    = note: the matched value is of type `Sd`
  96 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern as shown, or multiple match arms
  97    |
  98 LL ~         Sd { x: A, y: _ } => {}
  99 LL +         _ => todo!()
 100    |
 101
 102 error[E0004]: non-exhaustive patterns: `Some(Enum::B)`, `Some(Enum::C)`, `Some(Enum::D)` and 2 more not covered
 103   --> $DIR/issue-35609.rs:39:11
 104    |
 105 LL |     match Some(A) {
 106    |           ^^^^^^^ patterns `Some(Enum::B)`, `Some(Enum::C)`, `Some(Enum::D)` and 2 more not covered
 107    |
 108 note: `Option<Enum>` defined here
 109   --> $SRC_DIR/core/src/option.rs:LL:COL
 110    |
 111 LL | pub enum Option<T> {
 112    | ^^^^^^^^^^^^^^^^^^
 113    = note: the matched value is of type `Option<Enum>`
 114 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern as shown, or multiple match arms
 115    |
 116 LL ~         None => (),
 117 LL +         _ => todo!()
 118    |
 119
 120 error: aborting due to 8 previous errors
 121
 122 For more information about this error, try `rustc --explain E0004`.