src/test/ui/pattern/usefulness/integer-ranges/exhaustiveness.stderr

   1 error[E0004]: non-exhaustive patterns: `u8::MAX` not covered
   2   --> $DIR/exhaustiveness.rs:47:8
   3    |
   4 LL |     m!(0u8, 0..255);
   5    |        ^^^ pattern `u8::MAX` not covered
   6    |
   7    = note: the matched value is of type `u8`
   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 |         match $s { $($t)+ => {}, u8::MAX => todo!() }
  11    |                                ++++++++++++++++++++
  12
  13 error[E0004]: non-exhaustive patterns: `u8::MAX` not covered
  14   --> $DIR/exhaustiveness.rs:48:8
  15    |
  16 LL |     m!(0u8, 0..=254);
  17    |        ^^^ pattern `u8::MAX` not covered
  18    |
  19    = note: the matched value is of type `u8`
  20 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
  21    |
  22 LL |         match $s { $($t)+ => {}, u8::MAX => todo!() }
  23    |                                ++++++++++++++++++++
  24
  25 error[E0004]: non-exhaustive patterns: `0_u8` not covered
  26   --> $DIR/exhaustiveness.rs:49:8
  27    |
  28 LL |     m!(0u8, 1..=255);
  29    |        ^^^ pattern `0_u8` not covered
  30    |
  31    = note: the matched value is of type `u8`
  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 |         match $s { $($t)+ => {}, 0_u8 => todo!() }
  35    |                                +++++++++++++++++
  36
  37 error[E0004]: non-exhaustive patterns: `42_u8` not covered
  38   --> $DIR/exhaustiveness.rs:50:8
  39    |
  40 LL |     m!(0u8, 0..42 | 43..=255);
  41    |        ^^^ pattern `42_u8` not covered
  42    |
  43    = note: the matched value is of type `u8`
  44 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
  45    |
  46 LL |         match $s { $($t)+ => {}, 42_u8 => todo!() }
  47    |                                ++++++++++++++++++
  48
  49 error[E0004]: non-exhaustive patterns: `i8::MAX` not covered
  50   --> $DIR/exhaustiveness.rs:51:8
  51    |
  52 LL |     m!(0i8, -128..127);
  53    |        ^^^ pattern `i8::MAX` not covered
  54    |
  55    = note: the matched value is of type `i8`
  56 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
  57    |
  58 LL |         match $s { $($t)+ => {}, i8::MAX => todo!() }
  59    |                                ++++++++++++++++++++
  60
  61 error[E0004]: non-exhaustive patterns: `i8::MAX` not covered
  62   --> $DIR/exhaustiveness.rs:52:8
  63    |
  64 LL |     m!(0i8, -128..=126);
  65    |        ^^^ pattern `i8::MAX` not covered
  66    |
  67    = note: the matched value is of type `i8`
  68 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
  69    |
  70 LL |         match $s { $($t)+ => {}, i8::MAX => todo!() }
  71    |                                ++++++++++++++++++++
  72
  73 error[E0004]: non-exhaustive patterns: `i8::MIN` not covered
  74   --> $DIR/exhaustiveness.rs:53:8
  75    |
  76 LL |     m!(0i8, -127..=127);
  77    |        ^^^ pattern `i8::MIN` not covered
  78    |
  79    = note: the matched value is of type `i8`
  80 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
  81    |
  82 LL |         match $s { $($t)+ => {}, i8::MIN => todo!() }
  83    |                                ++++++++++++++++++++
  84
  85 error[E0004]: non-exhaustive patterns: `0_i8` not covered
  86   --> $DIR/exhaustiveness.rs:54:11
  87    |
  88 LL |     match 0i8 {
  89    |           ^^^ pattern `0_i8` not covered
  90    |
  91    = note: the matched value is of type `i8`
  92 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
  93    |
  94 LL ~         1 ..= i8::MAX => {}
  95 LL +         0_i8 => todo!()
  96    |
  97
  98 error[E0004]: non-exhaustive patterns: `u128::MAX` not covered
  99   --> $DIR/exhaustiveness.rs:59:8
 100    |
 101 LL |     m!(0u128, 0..=ALMOST_MAX);
 102    |        ^^^^^ pattern `u128::MAX` not covered
 103    |
 104    = note: the matched value is of type `u128`
 105 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 106    |
 107 LL |         match $s { $($t)+ => {}, u128::MAX => todo!() }
 108    |                                ++++++++++++++++++++++
 109
 110 error[E0004]: non-exhaustive patterns: `5_u128..=u128::MAX` not covered
 111   --> $DIR/exhaustiveness.rs:60:8
 112    |
 113 LL |     m!(0u128, 0..=4);
 114    |        ^^^^^ pattern `5_u128..=u128::MAX` not covered
 115    |
 116    = note: the matched value is of type `u128`
 117 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 118    |
 119 LL |         match $s { $($t)+ => {}, 5_u128..=u128::MAX => todo!() }
 120    |                                +++++++++++++++++++++++++++++++
 121
 122 error[E0004]: non-exhaustive patterns: `0_u128` not covered
 123   --> $DIR/exhaustiveness.rs:61:8
 124    |
 125 LL |     m!(0u128, 1..=u128::MAX);
 126    |        ^^^^^ pattern `0_u128` not covered
 127    |
 128    = note: the matched value is of type `u128`
 129 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 130    |
 131 LL |         match $s { $($t)+ => {}, 0_u128 => todo!() }
 132    |                                +++++++++++++++++++
 133
 134 error[E0004]: non-exhaustive patterns: `(126_u8..=127_u8, false)` not covered
 135   --> $DIR/exhaustiveness.rs:69:11
 136    |
 137 LL |     match (0u8, true) {
 138    |           ^^^^^^^^^^^ pattern `(126_u8..=127_u8, false)` not covered
 139    |
 140    = note: the matched value is of type `(u8, bool)`
 141 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 142    |
 143 LL ~         (0 ..= 255, true) => {}
 144 LL +         (126_u8..=127_u8, false) => todo!()
 145    |
 146
 147 error: aborting due to 12 previous errors
 148
 149 For more information about this error, try `rustc --explain E0004`.