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

   1 error[E0004]: non-exhaustive patterns: `(B, _)`, `(C, _)`, `(D, _)` and 2 more not covered
   2   --> $DIR/issue-35609.rs:10:11
   3    |
   4 LL |     match (A, ()) {
   5    |           ^^^^^^^ patterns `(B, _)`, `(C, _)`, `(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: `(_, B)`, `(_, C)`, `(_, D)` and 2 more not covered
  15   --> $DIR/issue-35609.rs:14:11
  16    |
  17 LL |     match (A, A) {
  18    |           ^^^^^^ patterns `(_, B)`, `(_, C)`, `(_, 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: `((B, _), _)`, `((C, _), _)`, `((D, _), _)` and 2 more not covered
  28   --> $DIR/issue-35609.rs:18:11
  29    |
  30 LL |     match ((A, ()), ()) {
  31    |           ^^^^^^^^^^^^^ patterns `((B, _), _)`, `((C, _), _)`, `((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: `((B, _), _)`, `((C, _), _)`, `((D, _), _)` and 2 more not covered
  41   --> $DIR/issue-35609.rs:22:11
  42    |
  43 LL |     match ((A, ()), A) {
  44    |           ^^^^^^^^^^^^ patterns `((B, _), _)`, `((C, _), _)`, `((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: `((B, _), _)`, `((C, _), _)`, `((D, _), _)` and 2 more not covered
  54   --> $DIR/issue-35609.rs:26:11
  55    |
  56 LL |     match ((A, ()), ()) {
  57    |           ^^^^^^^^^^^^^ patterns `((B, _), _)`, `((C, _), _)`, `((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(B, _)`, `S(C, _)`, `S(D, _)` and 2 more not covered
  67   --> $DIR/issue-35609.rs:31:11
  68    |
  69 LL |     match S(A, ()) {
  70    |           ^^^^^^^^ patterns `S(B, _)`, `S(C, _)`, `S(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: B, .. }`, `Sd { x: C, .. }`, `Sd { x: 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: B, .. }`, `Sd { x: C, .. }`, `Sd { x: 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(B)`, `Some(C)`, `Some(D)` and 2 more not covered
 103   --> $DIR/issue-35609.rs:39:11
 104    |
 105 LL |     match Some(A) {
 106    |           ^^^^^^^ patterns `Some(B)`, `Some(C)`, `Some(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 LL | |     /// No value.
 113 LL | |     #[lang = "None"]
 114 LL | |     #[stable(feature = "rust1", since = "1.0.0")]
 115 ...  |
 116 LL | |     Some(#[stable(feature = "rust1", since = "1.0.0")] T),
 117 LL | | }
 118    | |_^
 119    = note: the matched value is of type `Option<Enum>`
 120 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern as shown, or multiple match arms
 121    |
 122 LL ~         None => (),
 123 LL +         _ => todo!()
 124    |
 125
 126 error: aborting due to 8 previous errors
 127
 128 For more information about this error, try `rustc --explain E0004`.