src/test/ui/half-open-range-patterns/half-open-range-pats-exhaustive-fail.stderr

   1 error[E0004]: non-exhaustive patterns: `_` not covered
   2   --> $DIR/half-open-range-pats-exhaustive-fail.rs:16:8
   3    |
   4 LL |     m!(0f32, f32::NEG_INFINITY..);
   5    |        ^^^^ pattern `_` not covered
   6    |
   7    = note: the matched value is of type `f32`
   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)+ => {}
  11 LL ~         _ => todo!() }
  12    |
  13
  14 error[E0004]: non-exhaustive patterns: `_` not covered
  15   --> $DIR/half-open-range-pats-exhaustive-fail.rs:17:8
  16    |
  17 LL |     m!(0f32, ..f32::INFINITY);
  18    |        ^^^^ pattern `_` not covered
  19    |
  20    = note: the matched value is of type `f32`
  21 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
  22    |
  23 LL ~         match $s { $($t)+ => {}
  24 LL ~         _ => todo!() }
  25    |
  26
  27 error[E0004]: non-exhaustive patterns: `'\u{10ffff}'` not covered
  28   --> $DIR/half-open-range-pats-exhaustive-fail.rs:26:8
  29    |
  30 LL |     m!('a', ..core::char::MAX);
  31    |        ^^^ pattern `'\u{10ffff}'` not covered
  32    |
  33    = note: the matched value is of type `char`
  34 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
  35    |
  36 LL ~         match $s { $($t)+ => {}
  37 LL ~         '\u{10ffff}' => todo!() }
  38    |
  39
  40 error[E0004]: non-exhaustive patterns: `'\u{10fffe}'..='\u{10ffff}'` not covered
  41   --> $DIR/half-open-range-pats-exhaustive-fail.rs:27:8
  42    |
  43 LL |     m!('a', ..ALMOST_MAX);
  44    |        ^^^ pattern `'\u{10fffe}'..='\u{10ffff}'` not covered
  45    |
  46    = note: the matched value is of type `char`
  47 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
  48    |
  49 LL ~         match $s { $($t)+ => {}
  50 LL ~         '\u{10fffe}'..='\u{10ffff}' => todo!() }
  51    |
  52
  53 error[E0004]: non-exhaustive patterns: `'\u{0}'` not covered
  54   --> $DIR/half-open-range-pats-exhaustive-fail.rs:28:8
  55    |
  56 LL |     m!('a', ALMOST_MIN..);
  57    |        ^^^ pattern `'\u{0}'` not covered
  58    |
  59    = note: the matched value is of type `char`
  60 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
  61    |
  62 LL ~         match $s { $($t)+ => {}
  63 LL ~         '\u{0}' => todo!() }
  64    |
  65
  66 error[E0004]: non-exhaustive patterns: `'\u{10ffff}'` not covered
  67   --> $DIR/half-open-range-pats-exhaustive-fail.rs:29:8
  68    |
  69 LL |     m!('a', ..=ALMOST_MAX);
  70    |        ^^^ pattern `'\u{10ffff}'` not covered
  71    |
  72    = note: the matched value is of type `char`
  73 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
  74    |
  75 LL ~         match $s { $($t)+ => {}
  76 LL ~         '\u{10ffff}' => todo!() }
  77    |
  78
  79 error[E0004]: non-exhaustive patterns: `'b'` not covered
  80   --> $DIR/half-open-range-pats-exhaustive-fail.rs:30:8
  81    |
  82 LL |     m!('a', ..=VAL | VAL_2..);
  83    |        ^^^ pattern `'b'` not covered
  84    |
  85    = note: the matched value is of type `char`
  86 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
  87    |
  88 LL ~         match $s { $($t)+ => {}
  89 LL ~         'b' => todo!() }
  90    |
  91
  92 error[E0004]: non-exhaustive patterns: `'b'` not covered
  93   --> $DIR/half-open-range-pats-exhaustive-fail.rs:31:8
  94    |
  95 LL |     m!('a', ..VAL_1 | VAL_2..);
  96    |        ^^^ pattern `'b'` not covered
  97    |
  98    = note: the matched value is of type `char`
  99 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 100    |
 101 LL ~         match $s { $($t)+ => {}
 102 LL ~         'b' => todo!() }
 103    |
 104
 105 error[E0004]: non-exhaustive patterns: `u8::MAX` not covered
 106   --> $DIR/half-open-range-pats-exhaustive-fail.rs:41:12
 107    |
 108 LL |         m!(0, ..u8::MAX);
 109    |            ^ pattern `u8::MAX` not covered
 110    |
 111    = note: the matched value is of type `u8`
 112 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 113    |
 114 LL ~         match $s { $($t)+ => {}
 115 LL ~         u8::MAX => todo!() }
 116    |
 117
 118 error[E0004]: non-exhaustive patterns: `254_u8..=u8::MAX` not covered
 119   --> $DIR/half-open-range-pats-exhaustive-fail.rs:42:12
 120    |
 121 LL |         m!(0, ..ALMOST_MAX);
 122    |            ^ pattern `254_u8..=u8::MAX` not covered
 123    |
 124    = note: the matched value is of type `u8`
 125 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 126    |
 127 LL ~         match $s { $($t)+ => {}
 128 LL ~         254_u8..=u8::MAX => todo!() }
 129    |
 130
 131 error[E0004]: non-exhaustive patterns: `0_u8` not covered
 132   --> $DIR/half-open-range-pats-exhaustive-fail.rs:43:12
 133    |
 134 LL |         m!(0, ALMOST_MIN..);
 135    |            ^ pattern `0_u8` not covered
 136    |
 137    = note: the matched value is of type `u8`
 138 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 139    |
 140 LL ~         match $s { $($t)+ => {}
 141 LL ~         0_u8 => todo!() }
 142    |
 143
 144 error[E0004]: non-exhaustive patterns: `u8::MAX` not covered
 145   --> $DIR/half-open-range-pats-exhaustive-fail.rs:44:12
 146    |
 147 LL |         m!(0, ..=ALMOST_MAX);
 148    |            ^ pattern `u8::MAX` not covered
 149    |
 150    = note: the matched value is of type `u8`
 151 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 152    |
 153 LL ~         match $s { $($t)+ => {}
 154 LL ~         u8::MAX => todo!() }
 155    |
 156
 157 error[E0004]: non-exhaustive patterns: `43_u8` not covered
 158   --> $DIR/half-open-range-pats-exhaustive-fail.rs:45:12
 159    |
 160 LL |         m!(0, ..=VAL | VAL_2..);
 161    |            ^ pattern `43_u8` not covered
 162    |
 163    = note: the matched value is of type `u8`
 164 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 165    |
 166 LL ~         match $s { $($t)+ => {}
 167 LL ~         43_u8 => todo!() }
 168    |
 169
 170 error[E0004]: non-exhaustive patterns: `43_u8` not covered
 171   --> $DIR/half-open-range-pats-exhaustive-fail.rs:46:12
 172    |
 173 LL |         m!(0, ..VAL_1 | VAL_2..);
 174    |            ^ pattern `43_u8` not covered
 175    |
 176    = note: the matched value is of type `u8`
 177 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 178    |
 179 LL ~         match $s { $($t)+ => {}
 180 LL ~         43_u8 => todo!() }
 181    |
 182
 183 error[E0004]: non-exhaustive patterns: `u16::MAX` not covered
 184   --> $DIR/half-open-range-pats-exhaustive-fail.rs:54:12
 185    |
 186 LL |         m!(0, ..u16::MAX);
 187    |            ^ pattern `u16::MAX` not covered
 188    |
 189    = note: the matched value is of type `u16`
 190 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 191    |
 192 LL ~         match $s { $($t)+ => {}
 193 LL ~         u16::MAX => todo!() }
 194    |
 195
 196 error[E0004]: non-exhaustive patterns: `65534_u16..=u16::MAX` not covered
 197   --> $DIR/half-open-range-pats-exhaustive-fail.rs:55:12
 198    |
 199 LL |         m!(0, ..ALMOST_MAX);
 200    |            ^ pattern `65534_u16..=u16::MAX` not covered
 201    |
 202    = note: the matched value is of type `u16`
 203 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 204    |
 205 LL ~         match $s { $($t)+ => {}
 206 LL ~         65534_u16..=u16::MAX => todo!() }
 207    |
 208
 209 error[E0004]: non-exhaustive patterns: `0_u16` not covered
 210   --> $DIR/half-open-range-pats-exhaustive-fail.rs:56:12
 211    |
 212 LL |         m!(0, ALMOST_MIN..);
 213    |            ^ pattern `0_u16` not covered
 214    |
 215    = note: the matched value is of type `u16`
 216 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 217    |
 218 LL ~         match $s { $($t)+ => {}
 219 LL ~         0_u16 => todo!() }
 220    |
 221
 222 error[E0004]: non-exhaustive patterns: `u16::MAX` not covered
 223   --> $DIR/half-open-range-pats-exhaustive-fail.rs:57:12
 224    |
 225 LL |         m!(0, ..=ALMOST_MAX);
 226    |            ^ pattern `u16::MAX` not covered
 227    |
 228    = note: the matched value is of type `u16`
 229 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 230    |
 231 LL ~         match $s { $($t)+ => {}
 232 LL ~         u16::MAX => todo!() }
 233    |
 234
 235 error[E0004]: non-exhaustive patterns: `43_u16` not covered
 236   --> $DIR/half-open-range-pats-exhaustive-fail.rs:58:12
 237    |
 238 LL |         m!(0, ..=VAL | VAL_2..);
 239    |            ^ pattern `43_u16` not covered
 240    |
 241    = note: the matched value is of type `u16`
 242 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 243    |
 244 LL ~         match $s { $($t)+ => {}
 245 LL ~         43_u16 => todo!() }
 246    |
 247
 248 error[E0004]: non-exhaustive patterns: `43_u16` not covered
 249   --> $DIR/half-open-range-pats-exhaustive-fail.rs:59:12
 250    |
 251 LL |         m!(0, ..VAL_1 | VAL_2..);
 252    |            ^ pattern `43_u16` not covered
 253    |
 254    = note: the matched value is of type `u16`
 255 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 256    |
 257 LL ~         match $s { $($t)+ => {}
 258 LL ~         43_u16 => todo!() }
 259    |
 260
 261 error[E0004]: non-exhaustive patterns: `u32::MAX` not covered
 262   --> $DIR/half-open-range-pats-exhaustive-fail.rs:67:12
 263    |
 264 LL |         m!(0, ..u32::MAX);
 265    |            ^ pattern `u32::MAX` not covered
 266    |
 267    = note: the matched value is of type `u32`
 268 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 269    |
 270 LL ~         match $s { $($t)+ => {}
 271 LL ~         u32::MAX => todo!() }
 272    |
 273
 274 error[E0004]: non-exhaustive patterns: `4294967294_u32..=u32::MAX` not covered
 275   --> $DIR/half-open-range-pats-exhaustive-fail.rs:68:12
 276    |
 277 LL |         m!(0, ..ALMOST_MAX);
 278    |            ^ pattern `4294967294_u32..=u32::MAX` not covered
 279    |
 280    = note: the matched value is of type `u32`
 281 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 282    |
 283 LL ~         match $s { $($t)+ => {}
 284 LL ~         4294967294_u32..=u32::MAX => todo!() }
 285    |
 286
 287 error[E0004]: non-exhaustive patterns: `0_u32` not covered
 288   --> $DIR/half-open-range-pats-exhaustive-fail.rs:69:12
 289    |
 290 LL |         m!(0, ALMOST_MIN..);
 291    |            ^ pattern `0_u32` not covered
 292    |
 293    = note: the matched value is of type `u32`
 294 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 295    |
 296 LL ~         match $s { $($t)+ => {}
 297 LL ~         0_u32 => todo!() }
 298    |
 299
 300 error[E0004]: non-exhaustive patterns: `u32::MAX` not covered
 301   --> $DIR/half-open-range-pats-exhaustive-fail.rs:70:12
 302    |
 303 LL |         m!(0, ..=ALMOST_MAX);
 304    |            ^ pattern `u32::MAX` not covered
 305    |
 306    = note: the matched value is of type `u32`
 307 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 308    |
 309 LL ~         match $s { $($t)+ => {}
 310 LL ~         u32::MAX => todo!() }
 311    |
 312
 313 error[E0004]: non-exhaustive patterns: `43_u32` not covered
 314   --> $DIR/half-open-range-pats-exhaustive-fail.rs:71:12
 315    |
 316 LL |         m!(0, ..=VAL | VAL_2..);
 317    |            ^ pattern `43_u32` not covered
 318    |
 319    = note: the matched value is of type `u32`
 320 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 321    |
 322 LL ~         match $s { $($t)+ => {}
 323 LL ~         43_u32 => todo!() }
 324    |
 325
 326 error[E0004]: non-exhaustive patterns: `43_u32` not covered
 327   --> $DIR/half-open-range-pats-exhaustive-fail.rs:72:12
 328    |
 329 LL |         m!(0, ..VAL_1 | VAL_2..);
 330    |            ^ pattern `43_u32` not covered
 331    |
 332    = note: the matched value is of type `u32`
 333 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 334    |
 335 LL ~         match $s { $($t)+ => {}
 336 LL ~         43_u32 => todo!() }
 337    |
 338
 339 error[E0004]: non-exhaustive patterns: `u64::MAX` not covered
 340   --> $DIR/half-open-range-pats-exhaustive-fail.rs:80:12
 341    |
 342 LL |         m!(0, ..u64::MAX);
 343    |            ^ pattern `u64::MAX` not covered
 344    |
 345    = note: the matched value is of type `u64`
 346 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 347    |
 348 LL ~         match $s { $($t)+ => {}
 349 LL ~         u64::MAX => todo!() }
 350    |
 351
 352 error[E0004]: non-exhaustive patterns: `18446744073709551614_u64..=u64::MAX` not covered
 353   --> $DIR/half-open-range-pats-exhaustive-fail.rs:81:12
 354    |
 355 LL |         m!(0, ..ALMOST_MAX);
 356    |            ^ pattern `18446744073709551614_u64..=u64::MAX` not covered
 357    |
 358    = note: the matched value is of type `u64`
 359 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 360    |
 361 LL ~         match $s { $($t)+ => {}
 362 LL ~         18446744073709551614_u64..=u64::MAX => todo!() }
 363    |
 364
 365 error[E0004]: non-exhaustive patterns: `0_u64` not covered
 366   --> $DIR/half-open-range-pats-exhaustive-fail.rs:82:12
 367    |
 368 LL |         m!(0, ALMOST_MIN..);
 369    |            ^ pattern `0_u64` not covered
 370    |
 371    = note: the matched value is of type `u64`
 372 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 373    |
 374 LL ~         match $s { $($t)+ => {}
 375 LL ~         0_u64 => todo!() }
 376    |
 377
 378 error[E0004]: non-exhaustive patterns: `u64::MAX` not covered
 379   --> $DIR/half-open-range-pats-exhaustive-fail.rs:83:12
 380    |
 381 LL |         m!(0, ..=ALMOST_MAX);
 382    |            ^ pattern `u64::MAX` not covered
 383    |
 384    = note: the matched value is of type `u64`
 385 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 386    |
 387 LL ~         match $s { $($t)+ => {}
 388 LL ~         u64::MAX => todo!() }
 389    |
 390
 391 error[E0004]: non-exhaustive patterns: `43_u64` not covered
 392   --> $DIR/half-open-range-pats-exhaustive-fail.rs:84:12
 393    |
 394 LL |         m!(0, ..=VAL | VAL_2..);
 395    |            ^ pattern `43_u64` not covered
 396    |
 397    = note: the matched value is of type `u64`
 398 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 399    |
 400 LL ~         match $s { $($t)+ => {}
 401 LL ~         43_u64 => todo!() }
 402    |
 403
 404 error[E0004]: non-exhaustive patterns: `43_u64` not covered
 405   --> $DIR/half-open-range-pats-exhaustive-fail.rs:85:12
 406    |
 407 LL |         m!(0, ..VAL_1 | VAL_2..);
 408    |            ^ pattern `43_u64` not covered
 409    |
 410    = note: the matched value is of type `u64`
 411 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 412    |
 413 LL ~         match $s { $($t)+ => {}
 414 LL ~         43_u64 => todo!() }
 415    |
 416
 417 error[E0004]: non-exhaustive patterns: `u128::MAX` not covered
 418   --> $DIR/half-open-range-pats-exhaustive-fail.rs:93:12
 419    |
 420 LL |         m!(0, ..u128::MAX);
 421    |            ^ pattern `u128::MAX` not covered
 422    |
 423    = note: the matched value is of type `u128`
 424 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 425    |
 426 LL ~         match $s { $($t)+ => {}
 427 LL ~         u128::MAX => todo!() }
 428    |
 429
 430 error[E0004]: non-exhaustive patterns: `340282366920938463463374607431768211454_u128..=u128::MAX` not covered
 431   --> $DIR/half-open-range-pats-exhaustive-fail.rs:94:12
 432    |
 433 LL |         m!(0, ..ALMOST_MAX);
 434    |            ^ pattern `340282366920938463463374607431768211454_u128..=u128::MAX` not covered
 435    |
 436    = note: the matched value is of type `u128`
 437 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 438    |
 439 LL ~         match $s { $($t)+ => {}
 440 LL ~         340282366920938463463374607431768211454_u128..=u128::MAX => todo!() }
 441    |
 442
 443 error[E0004]: non-exhaustive patterns: `0_u128` not covered
 444   --> $DIR/half-open-range-pats-exhaustive-fail.rs:95:12
 445    |
 446 LL |         m!(0, ALMOST_MIN..);
 447    |            ^ pattern `0_u128` not covered
 448    |
 449    = note: the matched value is of type `u128`
 450 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 451    |
 452 LL ~         match $s { $($t)+ => {}
 453 LL ~         0_u128 => todo!() }
 454    |
 455
 456 error[E0004]: non-exhaustive patterns: `u128::MAX` not covered
 457   --> $DIR/half-open-range-pats-exhaustive-fail.rs:96:12
 458    |
 459 LL |         m!(0, ..=ALMOST_MAX);
 460    |            ^ pattern `u128::MAX` not covered
 461    |
 462    = note: the matched value is of type `u128`
 463 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 464    |
 465 LL ~         match $s { $($t)+ => {}
 466 LL ~         u128::MAX => todo!() }
 467    |
 468
 469 error[E0004]: non-exhaustive patterns: `43_u128` not covered
 470   --> $DIR/half-open-range-pats-exhaustive-fail.rs:97:12
 471    |
 472 LL |         m!(0, ..=VAL | VAL_2..);
 473    |            ^ pattern `43_u128` not covered
 474    |
 475    = note: the matched value is of type `u128`
 476 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 477    |
 478 LL ~         match $s { $($t)+ => {}
 479 LL ~         43_u128 => todo!() }
 480    |
 481
 482 error[E0004]: non-exhaustive patterns: `43_u128` not covered
 483   --> $DIR/half-open-range-pats-exhaustive-fail.rs:98:12
 484    |
 485 LL |         m!(0, ..VAL_1 | VAL_2..);
 486    |            ^ pattern `43_u128` not covered
 487    |
 488    = note: the matched value is of type `u128`
 489 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 490    |
 491 LL ~         match $s { $($t)+ => {}
 492 LL ~         43_u128 => todo!() }
 493    |
 494
 495 error[E0004]: non-exhaustive patterns: `i8::MAX` not covered
 496   --> $DIR/half-open-range-pats-exhaustive-fail.rs:109:12
 497    |
 498 LL |         m!(0, ..i8::MAX);
 499    |            ^ pattern `i8::MAX` not covered
 500    |
 501    = note: the matched value is of type `i8`
 502 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 503    |
 504 LL ~         match $s { $($t)+ => {}
 505 LL ~         i8::MAX => todo!() }
 506    |
 507
 508 error[E0004]: non-exhaustive patterns: `126_i8..=i8::MAX` not covered
 509   --> $DIR/half-open-range-pats-exhaustive-fail.rs:110:12
 510    |
 511 LL |         m!(0, ..ALMOST_MAX);
 512    |            ^ pattern `126_i8..=i8::MAX` not covered
 513    |
 514    = note: the matched value is of type `i8`
 515 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 516    |
 517 LL ~         match $s { $($t)+ => {}
 518 LL ~         126_i8..=i8::MAX => todo!() }
 519    |
 520
 521 error[E0004]: non-exhaustive patterns: `i8::MIN` not covered
 522   --> $DIR/half-open-range-pats-exhaustive-fail.rs:111:12
 523    |
 524 LL |         m!(0, ALMOST_MIN..);
 525    |            ^ pattern `i8::MIN` not covered
 526    |
 527    = note: the matched value is of type `i8`
 528 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 529    |
 530 LL ~         match $s { $($t)+ => {}
 531 LL ~         i8::MIN => todo!() }
 532    |
 533
 534 error[E0004]: non-exhaustive patterns: `i8::MAX` not covered
 535   --> $DIR/half-open-range-pats-exhaustive-fail.rs:112:12
 536    |
 537 LL |         m!(0, ..=ALMOST_MAX);
 538    |            ^ pattern `i8::MAX` not covered
 539    |
 540    = note: the matched value is of type `i8`
 541 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 542    |
 543 LL ~         match $s { $($t)+ => {}
 544 LL ~         i8::MAX => todo!() }
 545    |
 546
 547 error[E0004]: non-exhaustive patterns: `43_i8` not covered
 548   --> $DIR/half-open-range-pats-exhaustive-fail.rs:113:12
 549    |
 550 LL |         m!(0, ..=VAL | VAL_2..);
 551    |            ^ pattern `43_i8` not covered
 552    |
 553    = note: the matched value is of type `i8`
 554 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 555    |
 556 LL ~         match $s { $($t)+ => {}
 557 LL ~         43_i8 => todo!() }
 558    |
 559
 560 error[E0004]: non-exhaustive patterns: `43_i8` not covered
 561   --> $DIR/half-open-range-pats-exhaustive-fail.rs:114:12
 562    |
 563 LL |         m!(0, ..VAL_1 | VAL_2..);
 564    |            ^ pattern `43_i8` not covered
 565    |
 566    = note: the matched value is of type `i8`
 567 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 568    |
 569 LL ~         match $s { $($t)+ => {}
 570 LL ~         43_i8 => todo!() }
 571    |
 572
 573 error[E0004]: non-exhaustive patterns: `i16::MAX` not covered
 574   --> $DIR/half-open-range-pats-exhaustive-fail.rs:122:12
 575    |
 576 LL |         m!(0, ..i16::MAX);
 577    |            ^ pattern `i16::MAX` not covered
 578    |
 579    = note: the matched value is of type `i16`
 580 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 581    |
 582 LL ~         match $s { $($t)+ => {}
 583 LL ~         i16::MAX => todo!() }
 584    |
 585
 586 error[E0004]: non-exhaustive patterns: `32766_i16..=i16::MAX` not covered
 587   --> $DIR/half-open-range-pats-exhaustive-fail.rs:123:12
 588    |
 589 LL |         m!(0, ..ALMOST_MAX);
 590    |            ^ pattern `32766_i16..=i16::MAX` not covered
 591    |
 592    = note: the matched value is of type `i16`
 593 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 594    |
 595 LL ~         match $s { $($t)+ => {}
 596 LL ~         32766_i16..=i16::MAX => todo!() }
 597    |
 598
 599 error[E0004]: non-exhaustive patterns: `i16::MIN` not covered
 600   --> $DIR/half-open-range-pats-exhaustive-fail.rs:124:12
 601    |
 602 LL |         m!(0, ALMOST_MIN..);
 603    |            ^ pattern `i16::MIN` not covered
 604    |
 605    = note: the matched value is of type `i16`
 606 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 607    |
 608 LL ~         match $s { $($t)+ => {}
 609 LL ~         i16::MIN => todo!() }
 610    |
 611
 612 error[E0004]: non-exhaustive patterns: `i16::MAX` not covered
 613   --> $DIR/half-open-range-pats-exhaustive-fail.rs:125:12
 614    |
 615 LL |         m!(0, ..=ALMOST_MAX);
 616    |            ^ pattern `i16::MAX` not covered
 617    |
 618    = note: the matched value is of type `i16`
 619 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 620    |
 621 LL ~         match $s { $($t)+ => {}
 622 LL ~         i16::MAX => todo!() }
 623    |
 624
 625 error[E0004]: non-exhaustive patterns: `43_i16` not covered
 626   --> $DIR/half-open-range-pats-exhaustive-fail.rs:126:12
 627    |
 628 LL |         m!(0, ..=VAL | VAL_2..);
 629    |            ^ pattern `43_i16` not covered
 630    |
 631    = note: the matched value is of type `i16`
 632 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 633    |
 634 LL ~         match $s { $($t)+ => {}
 635 LL ~         43_i16 => todo!() }
 636    |
 637
 638 error[E0004]: non-exhaustive patterns: `43_i16` not covered
 639   --> $DIR/half-open-range-pats-exhaustive-fail.rs:127:12
 640    |
 641 LL |         m!(0, ..VAL_1 | VAL_2..);
 642    |            ^ pattern `43_i16` not covered
 643    |
 644    = note: the matched value is of type `i16`
 645 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 646    |
 647 LL ~         match $s { $($t)+ => {}
 648 LL ~         43_i16 => todo!() }
 649    |
 650
 651 error[E0004]: non-exhaustive patterns: `i32::MAX` not covered
 652   --> $DIR/half-open-range-pats-exhaustive-fail.rs:135:12
 653    |
 654 LL |         m!(0, ..i32::MAX);
 655    |            ^ pattern `i32::MAX` not covered
 656    |
 657    = note: the matched value is of type `i32`
 658 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 659    |
 660 LL ~         match $s { $($t)+ => {}
 661 LL ~         i32::MAX => todo!() }
 662    |
 663
 664 error[E0004]: non-exhaustive patterns: `2147483646_i32..=i32::MAX` not covered
 665   --> $DIR/half-open-range-pats-exhaustive-fail.rs:136:12
 666    |
 667 LL |         m!(0, ..ALMOST_MAX);
 668    |            ^ pattern `2147483646_i32..=i32::MAX` not covered
 669    |
 670    = note: the matched value is of type `i32`
 671 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 672    |
 673 LL ~         match $s { $($t)+ => {}
 674 LL ~         2147483646_i32..=i32::MAX => todo!() }
 675    |
 676
 677 error[E0004]: non-exhaustive patterns: `i32::MIN` not covered
 678   --> $DIR/half-open-range-pats-exhaustive-fail.rs:137:12
 679    |
 680 LL |         m!(0, ALMOST_MIN..);
 681    |            ^ pattern `i32::MIN` not covered
 682    |
 683    = note: the matched value is of type `i32`
 684 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 685    |
 686 LL ~         match $s { $($t)+ => {}
 687 LL ~         i32::MIN => todo!() }
 688    |
 689
 690 error[E0004]: non-exhaustive patterns: `i32::MAX` not covered
 691   --> $DIR/half-open-range-pats-exhaustive-fail.rs:138:12
 692    |
 693 LL |         m!(0, ..=ALMOST_MAX);
 694    |            ^ pattern `i32::MAX` not covered
 695    |
 696    = note: the matched value is of type `i32`
 697 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 698    |
 699 LL ~         match $s { $($t)+ => {}
 700 LL ~         i32::MAX => todo!() }
 701    |
 702
 703 error[E0004]: non-exhaustive patterns: `43_i32` not covered
 704   --> $DIR/half-open-range-pats-exhaustive-fail.rs:139:12
 705    |
 706 LL |         m!(0, ..=VAL | VAL_2..);
 707    |            ^ pattern `43_i32` not covered
 708    |
 709    = note: the matched value is of type `i32`
 710 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 711    |
 712 LL ~         match $s { $($t)+ => {}
 713 LL ~         43_i32 => todo!() }
 714    |
 715
 716 error[E0004]: non-exhaustive patterns: `43_i32` not covered
 717   --> $DIR/half-open-range-pats-exhaustive-fail.rs:140:12
 718    |
 719 LL |         m!(0, ..VAL_1 | VAL_2..);
 720    |            ^ pattern `43_i32` not covered
 721    |
 722    = note: the matched value is of type `i32`
 723 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 724    |
 725 LL ~         match $s { $($t)+ => {}
 726 LL ~         43_i32 => todo!() }
 727    |
 728
 729 error[E0004]: non-exhaustive patterns: `i64::MAX` not covered
 730   --> $DIR/half-open-range-pats-exhaustive-fail.rs:148:12
 731    |
 732 LL |         m!(0, ..i64::MAX);
 733    |            ^ pattern `i64::MAX` not covered
 734    |
 735    = note: the matched value is of type `i64`
 736 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 737    |
 738 LL ~         match $s { $($t)+ => {}
 739 LL ~         i64::MAX => todo!() }
 740    |
 741
 742 error[E0004]: non-exhaustive patterns: `9223372036854775806_i64..=i64::MAX` not covered
 743   --> $DIR/half-open-range-pats-exhaustive-fail.rs:149:12
 744    |
 745 LL |         m!(0, ..ALMOST_MAX);
 746    |            ^ pattern `9223372036854775806_i64..=i64::MAX` not covered
 747    |
 748    = note: the matched value is of type `i64`
 749 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 750    |
 751 LL ~         match $s { $($t)+ => {}
 752 LL ~         9223372036854775806_i64..=i64::MAX => todo!() }
 753    |
 754
 755 error[E0004]: non-exhaustive patterns: `i64::MIN` not covered
 756   --> $DIR/half-open-range-pats-exhaustive-fail.rs:150:12
 757    |
 758 LL |         m!(0, ALMOST_MIN..);
 759    |            ^ pattern `i64::MIN` not covered
 760    |
 761    = note: the matched value is of type `i64`
 762 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 763    |
 764 LL ~         match $s { $($t)+ => {}
 765 LL ~         i64::MIN => todo!() }
 766    |
 767
 768 error[E0004]: non-exhaustive patterns: `i64::MAX` not covered
 769   --> $DIR/half-open-range-pats-exhaustive-fail.rs:151:12
 770    |
 771 LL |         m!(0, ..=ALMOST_MAX);
 772    |            ^ pattern `i64::MAX` not covered
 773    |
 774    = note: the matched value is of type `i64`
 775 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 776    |
 777 LL ~         match $s { $($t)+ => {}
 778 LL ~         i64::MAX => todo!() }
 779    |
 780
 781 error[E0004]: non-exhaustive patterns: `43_i64` not covered
 782   --> $DIR/half-open-range-pats-exhaustive-fail.rs:152:12
 783    |
 784 LL |         m!(0, ..=VAL | VAL_2..);
 785    |            ^ pattern `43_i64` not covered
 786    |
 787    = note: the matched value is of type `i64`
 788 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 789    |
 790 LL ~         match $s { $($t)+ => {}
 791 LL ~         43_i64 => todo!() }
 792    |
 793
 794 error[E0004]: non-exhaustive patterns: `43_i64` not covered
 795   --> $DIR/half-open-range-pats-exhaustive-fail.rs:153:12
 796    |
 797 LL |         m!(0, ..VAL_1 | VAL_2..);
 798    |            ^ pattern `43_i64` not covered
 799    |
 800    = note: the matched value is of type `i64`
 801 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 802    |
 803 LL ~         match $s { $($t)+ => {}
 804 LL ~         43_i64 => todo!() }
 805    |
 806
 807 error[E0004]: non-exhaustive patterns: `i128::MAX` not covered
 808   --> $DIR/half-open-range-pats-exhaustive-fail.rs:161:12
 809    |
 810 LL |         m!(0, ..i128::MAX);
 811    |            ^ pattern `i128::MAX` not covered
 812    |
 813    = note: the matched value is of type `i128`
 814 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 815    |
 816 LL ~         match $s { $($t)+ => {}
 817 LL ~         i128::MAX => todo!() }
 818    |
 819
 820 error[E0004]: non-exhaustive patterns: `170141183460469231731687303715884105726_i128..=i128::MAX` not covered
 821   --> $DIR/half-open-range-pats-exhaustive-fail.rs:162:12
 822    |
 823 LL |         m!(0, ..ALMOST_MAX);
 824    |            ^ pattern `170141183460469231731687303715884105726_i128..=i128::MAX` not covered
 825    |
 826    = note: the matched value is of type `i128`
 827 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 828    |
 829 LL ~         match $s { $($t)+ => {}
 830 LL ~         170141183460469231731687303715884105726_i128..=i128::MAX => todo!() }
 831    |
 832
 833 error[E0004]: non-exhaustive patterns: `i128::MIN` not covered
 834   --> $DIR/half-open-range-pats-exhaustive-fail.rs:163:12
 835    |
 836 LL |         m!(0, ALMOST_MIN..);
 837    |            ^ pattern `i128::MIN` not covered
 838    |
 839    = note: the matched value is of type `i128`
 840 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 841    |
 842 LL ~         match $s { $($t)+ => {}
 843 LL ~         i128::MIN => todo!() }
 844    |
 845
 846 error[E0004]: non-exhaustive patterns: `i128::MAX` not covered
 847   --> $DIR/half-open-range-pats-exhaustive-fail.rs:164:12
 848    |
 849 LL |         m!(0, ..=ALMOST_MAX);
 850    |            ^ pattern `i128::MAX` not covered
 851    |
 852    = note: the matched value is of type `i128`
 853 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 854    |
 855 LL ~         match $s { $($t)+ => {}
 856 LL ~         i128::MAX => todo!() }
 857    |
 858
 859 error[E0004]: non-exhaustive patterns: `43_i128` not covered
 860   --> $DIR/half-open-range-pats-exhaustive-fail.rs:165:12
 861    |
 862 LL |         m!(0, ..=VAL | VAL_2..);
 863    |            ^ pattern `43_i128` not covered
 864    |
 865    = note: the matched value is of type `i128`
 866 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 867    |
 868 LL ~         match $s { $($t)+ => {}
 869 LL ~         43_i128 => todo!() }
 870    |
 871
 872 error[E0004]: non-exhaustive patterns: `43_i128` not covered
 873   --> $DIR/half-open-range-pats-exhaustive-fail.rs:166:12
 874    |
 875 LL |         m!(0, ..VAL_1 | VAL_2..);
 876    |            ^ pattern `43_i128` not covered
 877    |
 878    = note: the matched value is of type `i128`
 879 help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
 880    |
 881 LL ~         match $s { $($t)+ => {}
 882 LL ~         43_i128 => todo!() }
 883    |
 884
 885 error: aborting due to 68 previous errors
 886
 887 For more information about this error, try `rustc --explain E0004`.