mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Allow lint where we don't care

Browse Source
This commit is contained in:
Nadrieril 2024-01-17 14:50:49 +01:00
parent 77f679430c
commit f783043ebf
12 changed files with 133 additions and 125 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/tools/clippy/tests/ui/manual_range_patterns.fixed
View File

@ -1,4 +1,5 @@
#![allow(unused)] #![allow(unused)]
#![allow(non_contiguous_range_endpoints)]
#![warn(clippy::manual_range_patterns)] #![warn(clippy::manual_range_patterns)]
#![feature(exclusive_range_pattern)] #![feature(exclusive_range_pattern)]

1
src/tools/clippy/tests/ui/manual_range_patterns.rs
View File

@ -1,4 +1,5 @@
#![allow(unused)] #![allow(unused)]
#![allow(non_contiguous_range_endpoints)]
#![warn(clippy::manual_range_patterns)] #![warn(clippy::manual_range_patterns)]
#![feature(exclusive_range_pattern)] #![feature(exclusive_range_pattern)]

38
src/tools/clippy/tests/ui/manual_range_patterns.stderr
View File

@ -1,5 +1,5 @@
error: this OR pattern can be rewritten using a range error: this OR pattern can be rewritten using a range
--> tests/ui/manual_range_patterns.rs:8:25 --> tests/ui/manual_range_patterns.rs:9:25
| |
LL | let _ = matches!(f, 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10); LL | let _ = matches!(f, 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10);
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: try: `1..=10` | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: try: `1..=10`
@ -8,109 +8,109 @@ LL | let _ = matches!(f, 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10);
= help: to override `-D warnings` add `#[allow(clippy::manual_range_patterns)]` = help: to override `-D warnings` add `#[allow(clippy::manual_range_patterns)]`
error: this OR pattern can be rewritten using a range error: this OR pattern can be rewritten using a range
--> tests/ui/manual_range_patterns.rs:9:25 --> tests/ui/manual_range_patterns.rs:10:25
| |
LL | let _ = matches!(f, 4 | 2 | 3 | 1 | 5 | 6 | 9 | 7 | 8 | 10); LL | let _ = matches!(f, 4 | 2 | 3 | 1 | 5 | 6 | 9 | 7 | 8 | 10);
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: try: `1..=10` | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: try: `1..=10`
error: this OR pattern can be rewritten using a range error: this OR pattern can be rewritten using a range
--> tests/ui/manual_range_patterns.rs:16:25 --> tests/ui/manual_range_patterns.rs:17:25
| |
LL | let _ = matches!(f, 1 | (2..=4)); LL | let _ = matches!(f, 1 | (2..=4));
| ^^^^^^^^^^^ help: try: `1..=4` | ^^^^^^^^^^^ help: try: `1..=4`
error: this OR pattern can be rewritten using a range error: this OR pattern can be rewritten using a range
--> tests/ui/manual_range_patterns.rs:17:25 --> tests/ui/manual_range_patterns.rs:18:25
| |
LL | let _ = matches!(f, 1 | (2..4)); LL | let _ = matches!(f, 1 | (2..4));
| ^^^^^^^^^^ help: try: `1..4` | ^^^^^^^^^^ help: try: `1..4`
error: this OR pattern can be rewritten using a range error: this OR pattern can be rewritten using a range
--> tests/ui/manual_range_patterns.rs:18:25 --> tests/ui/manual_range_patterns.rs:19:25
| |
LL | let _ = matches!(f, (1..=10) | (2..=13) | (14..=48324728) | 48324729); LL | let _ = matches!(f, (1..=10) | (2..=13) | (14..=48324728) | 48324729);
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: try: `1..=48324729` | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: try: `1..=48324729`
error: this OR pattern can be rewritten using a range error: this OR pattern can be rewritten using a range
--> tests/ui/manual_range_patterns.rs:19:25 --> tests/ui/manual_range_patterns.rs:20:25
| |
LL | let _ = matches!(f, 0 | (1..=10) | 48324730 | (2..=13) | (14..=48324728) | 48324729); LL | let _ = matches!(f, 0 | (1..=10) | 48324730 | (2..=13) | (14..=48324728) | 48324729);
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: try: `0..=48324730` | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: try: `0..=48324730`
error: this OR pattern can be rewritten using a range error: this OR pattern can be rewritten using a range
--> tests/ui/manual_range_patterns.rs:20:25 --> tests/ui/manual_range_patterns.rs:21:25
| |
LL | let _ = matches!(f, 0..=1 | 0..=2 | 0..=3); LL | let _ = matches!(f, 0..=1 | 0..=2 | 0..=3);
| ^^^^^^^^^^^^^^^^^^^^^ help: try: `0..=3` | ^^^^^^^^^^^^^^^^^^^^^ help: try: `0..=3`
error: this OR pattern can be rewritten using a range error: this OR pattern can be rewritten using a range
--> tests/ui/manual_range_patterns.rs:23:9 --> tests/ui/manual_range_patterns.rs:24:9
| |
LL | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 => true, LL | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 => true,
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: try: `1..=10` | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: try: `1..=10`
error: this OR pattern can be rewritten using a range error: this OR pattern can be rewritten using a range
--> tests/ui/manual_range_patterns.rs:26:25 --> tests/ui/manual_range_patterns.rs:27:25
| |
LL | let _ = matches!(f, -1 | -5 | 3 | -2 | -4 | -3 | 0 | 1 | 2); LL | let _ = matches!(f, -1 | -5 | 3 | -2 | -4 | -3 | 0 | 1 | 2);
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: try: `-5..=3` | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: try: `-5..=3`
error: this OR pattern can be rewritten using a range error: this OR pattern can be rewritten using a range
--> tests/ui/manual_range_patterns.rs:28:25 --> tests/ui/manual_range_patterns.rs:29:25
| |
LL | let _ = matches!(f, -1_000_000..=1_000_000 | -1_000_001 | 1_000_001); LL | let _ = matches!(f, -1_000_000..=1_000_000 | -1_000_001 | 1_000_001);
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: try: `-1_000_001..=1_000_001` | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: try: `-1_000_001..=1_000_001`
error: this OR pattern can be rewritten using a range error: this OR pattern can be rewritten using a range
--> tests/ui/manual_range_patterns.rs:31:17 --> tests/ui/manual_range_patterns.rs:32:17
| |
LL | matches!(f, 0x00 | 0x01 | 0x02 | 0x03); LL | matches!(f, 0x00 | 0x01 | 0x02 | 0x03);
| ^^^^^^^^^^^^^^^^^^^^^^^^^ help: try: `0x00..=0x03` | ^^^^^^^^^^^^^^^^^^^^^^^^^ help: try: `0x00..=0x03`
error: this OR pattern can be rewritten using a range error: this OR pattern can be rewritten using a range
--> tests/ui/manual_range_patterns.rs:32:17 --> tests/ui/manual_range_patterns.rs:33:17
| |
LL | matches!(f, 0x00..=0x05 | 0x06 | 0x07); LL | matches!(f, 0x00..=0x05 | 0x06 | 0x07);
| ^^^^^^^^^^^^^^^^^^^^^^^^^ help: try: `0x00..=0x07` | ^^^^^^^^^^^^^^^^^^^^^^^^^ help: try: `0x00..=0x07`
error: this OR pattern can be rewritten using a range error: this OR pattern can be rewritten using a range
--> tests/ui/manual_range_patterns.rs:33:17 --> tests/ui/manual_range_patterns.rs:34:17
| |
LL | matches!(f, -0x09 | -0x08 | -0x07..=0x00); LL | matches!(f, -0x09 | -0x08 | -0x07..=0x00);
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: try: `-0x09..=0x00` | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: try: `-0x09..=0x00`
error: this OR pattern can be rewritten using a range error: this OR pattern can be rewritten using a range
--> tests/ui/manual_range_patterns.rs:35:17 --> tests/ui/manual_range_patterns.rs:36:17
| |
LL | matches!(f, 0..5 | 5); LL | matches!(f, 0..5 | 5);
| ^^^^^^^^ help: try: `0..=5` | ^^^^^^^^ help: try: `0..=5`
error: this OR pattern can be rewritten using a range error: this OR pattern can be rewritten using a range
--> tests/ui/manual_range_patterns.rs:36:17 --> tests/ui/manual_range_patterns.rs:37:17
| |
LL | matches!(f, 0 | 1..5); LL | matches!(f, 0 | 1..5);
| ^^^^^^^^ help: try: `0..5` | ^^^^^^^^ help: try: `0..5`
error: this OR pattern can be rewritten using a range error: this OR pattern can be rewritten using a range
--> tests/ui/manual_range_patterns.rs:38:17 --> tests/ui/manual_range_patterns.rs:39:17
| |
LL | matches!(f, 0..=5 | 6..10); LL | matches!(f, 0..=5 | 6..10);
| ^^^^^^^^^^^^^ help: try: `0..10` | ^^^^^^^^^^^^^ help: try: `0..10`
error: this OR pattern can be rewritten using a range error: this OR pattern can be rewritten using a range
--> tests/ui/manual_range_patterns.rs:39:17 --> tests/ui/manual_range_patterns.rs:40:17
| |
LL | matches!(f, 0..5 | 5..=10); LL | matches!(f, 0..5 | 5..=10);
| ^^^^^^^^^^^^^ help: try: `0..=10` | ^^^^^^^^^^^^^ help: try: `0..=10`
error: this OR pattern can be rewritten using a range error: this OR pattern can be rewritten using a range
--> tests/ui/manual_range_patterns.rs:40:17 --> tests/ui/manual_range_patterns.rs:41:17
| |
LL | matches!(f, 5..=10 | 0..5); LL | matches!(f, 5..=10 | 0..5);
| ^^^^^^^^^^^^^ help: try: `0..=10` | ^^^^^^^^^^^^^ help: try: `0..=10`
error: this OR pattern can be rewritten using a range error: this OR pattern can be rewritten using a range
--> tests/ui/manual_range_patterns.rs:44:26 --> tests/ui/manual_range_patterns.rs:45:26
| |
LL | matches!($e, 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10) LL | matches!($e, 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: try: `1..=10` | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: try: `1..=10`

1
tests/ui/half-open-range-patterns/half-open-range-pats-exhaustive-fail.rs
View File

@ -1,6 +1,7 @@
// Test various non-exhaustive matches for `X..`, `..=X` and `..X` ranges. // Test various non-exhaustive matches for `X..`, `..=X` and `..X` ranges.
#![feature(exclusive_range_pattern)] #![feature(exclusive_range_pattern)]
#![allow(non_contiguous_range_endpoints)]
fn main() {} fn main() {}

136
tests/ui/half-open-range-patterns/half-open-range-pats-exhaustive-fail.stderr
View File

@ -1,5 +1,5 @@
error[E0004]: non-exhaustive patterns: `_` not covered error[E0004]: non-exhaustive patterns: `_` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:14:8 --> $DIR/half-open-range-pats-exhaustive-fail.rs:15:8
| |
LL | m!(0f32, f32::NEG_INFINITY..); LL | m!(0f32, f32::NEG_INFINITY..);
| ^^^^ pattern `_` not covered | ^^^^ pattern `_` not covered
@ -11,7 +11,7 @@ LL | match $s { $($t)+ => {}, _ => todo!() }
| ++++++++++++++ | ++++++++++++++
error[E0004]: non-exhaustive patterns: `_` not covered error[E0004]: non-exhaustive patterns: `_` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:15:8 --> $DIR/half-open-range-pats-exhaustive-fail.rs:16:8
| |
LL | m!(0f32, ..f32::INFINITY); LL | m!(0f32, ..f32::INFINITY);
| ^^^^ pattern `_` not covered | ^^^^ pattern `_` not covered
@ -23,7 +23,7 @@ LL | match $s { $($t)+ => {}, _ => todo!() }
| ++++++++++++++ | ++++++++++++++
error[E0004]: non-exhaustive patterns: `'\u{10ffff}'` not covered error[E0004]: non-exhaustive patterns: `'\u{10ffff}'` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:24:8 --> $DIR/half-open-range-pats-exhaustive-fail.rs:25:8
| |
LL | m!('a', ..core::char::MAX); LL | m!('a', ..core::char::MAX);
| ^^^ pattern `'\u{10ffff}'` not covered | ^^^ pattern `'\u{10ffff}'` not covered
@ -35,7 +35,7 @@ LL | match $s { $($t)+ => {}, '\u{10ffff}' => todo!() }
| +++++++++++++++++++++++++ | +++++++++++++++++++++++++
error[E0004]: non-exhaustive patterns: `'\u{10fffe}'..='\u{10ffff}'` not covered error[E0004]: non-exhaustive patterns: `'\u{10fffe}'..='\u{10ffff}'` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:25:8 --> $DIR/half-open-range-pats-exhaustive-fail.rs:26:8
| |
LL | m!('a', ..ALMOST_MAX); LL | m!('a', ..ALMOST_MAX);
| ^^^ pattern `'\u{10fffe}'..='\u{10ffff}'` not covered | ^^^ pattern `'\u{10fffe}'..='\u{10ffff}'` not covered
@ -47,7 +47,7 @@ LL | match $s { $($t)+ => {}, '\u{10fffe}'..='\u{10ffff}' => todo!() }
| ++++++++++++++++++++++++++++++++++++++++ | ++++++++++++++++++++++++++++++++++++++++
error[E0004]: non-exhaustive patterns: `'\0'` not covered error[E0004]: non-exhaustive patterns: `'\0'` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:26:8 --> $DIR/half-open-range-pats-exhaustive-fail.rs:27:8
| |
LL | m!('a', ALMOST_MIN..); LL | m!('a', ALMOST_MIN..);
| ^^^ pattern `'\0'` not covered | ^^^ pattern `'\0'` not covered
@ -59,7 +59,7 @@ LL | match $s { $($t)+ => {}, '\0' => todo!() }
| +++++++++++++++++ | +++++++++++++++++
error[E0004]: non-exhaustive patterns: `'\u{10ffff}'` not covered error[E0004]: non-exhaustive patterns: `'\u{10ffff}'` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:27:8 --> $DIR/half-open-range-pats-exhaustive-fail.rs:28:8
| |
LL | m!('a', ..=ALMOST_MAX); LL | m!('a', ..=ALMOST_MAX);
| ^^^ pattern `'\u{10ffff}'` not covered | ^^^ pattern `'\u{10ffff}'` not covered
@ -71,7 +71,7 @@ LL | match $s { $($t)+ => {}, '\u{10ffff}' => todo!() }
| +++++++++++++++++++++++++ | +++++++++++++++++++++++++
error[E0004]: non-exhaustive patterns: `'b'` not covered error[E0004]: non-exhaustive patterns: `'b'` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:28:8 --> $DIR/half-open-range-pats-exhaustive-fail.rs:29:8
| |
LL | m!('a', ..=VAL | VAL_2..); LL | m!('a', ..=VAL | VAL_2..);
| ^^^ pattern `'b'` not covered | ^^^ pattern `'b'` not covered
@ -83,7 +83,7 @@ LL | match $s { $($t)+ => {}, 'b' => todo!() }
| ++++++++++++++++ | ++++++++++++++++
error[E0004]: non-exhaustive patterns: `'b'` not covered error[E0004]: non-exhaustive patterns: `'b'` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:29:8 --> $DIR/half-open-range-pats-exhaustive-fail.rs:30:8
| |
LL | m!('a', ..VAL_1 | VAL_2..); LL | m!('a', ..VAL_1 | VAL_2..);
| ^^^ pattern `'b'` not covered | ^^^ pattern `'b'` not covered
@ -95,7 +95,7 @@ LL | match $s { $($t)+ => {}, 'b' => todo!() }
| ++++++++++++++++ | ++++++++++++++++
error[E0004]: non-exhaustive patterns: `u8::MAX` not covered error[E0004]: non-exhaustive patterns: `u8::MAX` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:39:12 --> $DIR/half-open-range-pats-exhaustive-fail.rs:40:12
| |
LL | m!(0, ..u8::MAX); LL | m!(0, ..u8::MAX);
| ^ pattern `u8::MAX` not covered | ^ pattern `u8::MAX` not covered
@ -107,7 +107,7 @@ LL | match $s { $($t)+ => {}, u8::MAX => todo!() }
| ++++++++++++++++++++ | ++++++++++++++++++++
error[E0004]: non-exhaustive patterns: `254_u8..=u8::MAX` not covered error[E0004]: non-exhaustive patterns: `254_u8..=u8::MAX` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:40:12 --> $DIR/half-open-range-pats-exhaustive-fail.rs:41:12
| |
LL | m!(0, ..ALMOST_MAX); LL | m!(0, ..ALMOST_MAX);
| ^ pattern `254_u8..=u8::MAX` not covered | ^ pattern `254_u8..=u8::MAX` not covered
@ -119,7 +119,7 @@ LL | match $s { $($t)+ => {}, 254_u8..=u8::MAX => todo!() }
| +++++++++++++++++++++++++++++ | +++++++++++++++++++++++++++++
error[E0004]: non-exhaustive patterns: `0_u8` not covered error[E0004]: non-exhaustive patterns: `0_u8` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:41:12 --> $DIR/half-open-range-pats-exhaustive-fail.rs:42:12
| |
LL | m!(0, ALMOST_MIN..); LL | m!(0, ALMOST_MIN..);
| ^ pattern `0_u8` not covered | ^ pattern `0_u8` not covered
@ -131,7 +131,7 @@ LL | match $s { $($t)+ => {}, 0_u8 => todo!() }
| +++++++++++++++++ | +++++++++++++++++
error[E0004]: non-exhaustive patterns: `u8::MAX` not covered error[E0004]: non-exhaustive patterns: `u8::MAX` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:42:12 --> $DIR/half-open-range-pats-exhaustive-fail.rs:43:12
| |
LL | m!(0, ..=ALMOST_MAX); LL | m!(0, ..=ALMOST_MAX);
| ^ pattern `u8::MAX` not covered | ^ pattern `u8::MAX` not covered
@ -143,7 +143,7 @@ LL | match $s { $($t)+ => {}, u8::MAX => todo!() }
| ++++++++++++++++++++ | ++++++++++++++++++++
error[E0004]: non-exhaustive patterns: `43_u8` not covered error[E0004]: non-exhaustive patterns: `43_u8` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:43:12 --> $DIR/half-open-range-pats-exhaustive-fail.rs:44:12
| |
LL | m!(0, ..=VAL | VAL_2..); LL | m!(0, ..=VAL | VAL_2..);
| ^ pattern `43_u8` not covered | ^ pattern `43_u8` not covered
@ -155,7 +155,7 @@ LL | match $s { $($t)+ => {}, 43_u8 => todo!() }
| ++++++++++++++++++ | ++++++++++++++++++
error[E0004]: non-exhaustive patterns: `43_u8` not covered error[E0004]: non-exhaustive patterns: `43_u8` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:44:12 --> $DIR/half-open-range-pats-exhaustive-fail.rs:45:12
| |
LL | m!(0, ..VAL_1 | VAL_2..); LL | m!(0, ..VAL_1 | VAL_2..);
| ^ pattern `43_u8` not covered | ^ pattern `43_u8` not covered
@ -167,7 +167,7 @@ LL | match $s { $($t)+ => {}, 43_u8 => todo!() }
| ++++++++++++++++++ | ++++++++++++++++++
error[E0004]: non-exhaustive patterns: `u16::MAX` not covered error[E0004]: non-exhaustive patterns: `u16::MAX` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:52:12 --> $DIR/half-open-range-pats-exhaustive-fail.rs:53:12
| |
LL | m!(0, ..u16::MAX); LL | m!(0, ..u16::MAX);
| ^ pattern `u16::MAX` not covered | ^ pattern `u16::MAX` not covered
@ -179,7 +179,7 @@ LL | match $s { $($t)+ => {}, u16::MAX => todo!() }
| +++++++++++++++++++++ | +++++++++++++++++++++
error[E0004]: non-exhaustive patterns: `65534_u16..=u16::MAX` not covered error[E0004]: non-exhaustive patterns: `65534_u16..=u16::MAX` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:53:12 --> $DIR/half-open-range-pats-exhaustive-fail.rs:54:12
| |
LL | m!(0, ..ALMOST_MAX); LL | m!(0, ..ALMOST_MAX);
| ^ pattern `65534_u16..=u16::MAX` not covered | ^ pattern `65534_u16..=u16::MAX` not covered
@ -191,7 +191,7 @@ LL | match $s { $($t)+ => {}, 65534_u16..=u16::MAX => todo!() }
| +++++++++++++++++++++++++++++++++ | +++++++++++++++++++++++++++++++++
error[E0004]: non-exhaustive patterns: `0_u16` not covered error[E0004]: non-exhaustive patterns: `0_u16` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:54:12 --> $DIR/half-open-range-pats-exhaustive-fail.rs:55:12
| |
LL | m!(0, ALMOST_MIN..); LL | m!(0, ALMOST_MIN..);
| ^ pattern `0_u16` not covered | ^ pattern `0_u16` not covered
@ -203,7 +203,7 @@ LL | match $s { $($t)+ => {}, 0_u16 => todo!() }
| ++++++++++++++++++ | ++++++++++++++++++
error[E0004]: non-exhaustive patterns: `u16::MAX` not covered error[E0004]: non-exhaustive patterns: `u16::MAX` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:55:12 --> $DIR/half-open-range-pats-exhaustive-fail.rs:56:12
| |
LL | m!(0, ..=ALMOST_MAX); LL | m!(0, ..=ALMOST_MAX);
| ^ pattern `u16::MAX` not covered | ^ pattern `u16::MAX` not covered
@ -215,7 +215,7 @@ LL | match $s { $($t)+ => {}, u16::MAX => todo!() }
| +++++++++++++++++++++ | +++++++++++++++++++++
error[E0004]: non-exhaustive patterns: `43_u16` not covered error[E0004]: non-exhaustive patterns: `43_u16` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:56:12 --> $DIR/half-open-range-pats-exhaustive-fail.rs:57:12
| |
LL | m!(0, ..=VAL | VAL_2..); LL | m!(0, ..=VAL | VAL_2..);
| ^ pattern `43_u16` not covered | ^ pattern `43_u16` not covered
@ -227,7 +227,7 @@ LL | match $s { $($t)+ => {}, 43_u16 => todo!() }
| +++++++++++++++++++ | +++++++++++++++++++
error[E0004]: non-exhaustive patterns: `43_u16` not covered error[E0004]: non-exhaustive patterns: `43_u16` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:57:12 --> $DIR/half-open-range-pats-exhaustive-fail.rs:58:12
| |
LL | m!(0, ..VAL_1 | VAL_2..); LL | m!(0, ..VAL_1 | VAL_2..);
| ^ pattern `43_u16` not covered | ^ pattern `43_u16` not covered
@ -239,7 +239,7 @@ LL | match $s { $($t)+ => {}, 43_u16 => todo!() }
| +++++++++++++++++++ | +++++++++++++++++++
error[E0004]: non-exhaustive patterns: `u32::MAX` not covered error[E0004]: non-exhaustive patterns: `u32::MAX` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:65:12 --> $DIR/half-open-range-pats-exhaustive-fail.rs:66:12
| |
LL | m!(0, ..u32::MAX); LL | m!(0, ..u32::MAX);
| ^ pattern `u32::MAX` not covered | ^ pattern `u32::MAX` not covered
@ -251,7 +251,7 @@ LL | match $s { $($t)+ => {}, u32::MAX => todo!() }
| +++++++++++++++++++++ | +++++++++++++++++++++
error[E0004]: non-exhaustive patterns: `4294967294_u32..=u32::MAX` not covered error[E0004]: non-exhaustive patterns: `4294967294_u32..=u32::MAX` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:66:12 --> $DIR/half-open-range-pats-exhaustive-fail.rs:67:12
| |
LL | m!(0, ..ALMOST_MAX); LL | m!(0, ..ALMOST_MAX);
| ^ pattern `4294967294_u32..=u32::MAX` not covered | ^ pattern `4294967294_u32..=u32::MAX` not covered
@ -263,7 +263,7 @@ LL | match $s { $($t)+ => {}, 4294967294_u32..=u32::MAX => todo!() }
| ++++++++++++++++++++++++++++++++++++++ | ++++++++++++++++++++++++++++++++++++++
error[E0004]: non-exhaustive patterns: `0_u32` not covered error[E0004]: non-exhaustive patterns: `0_u32` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:67:12 --> $DIR/half-open-range-pats-exhaustive-fail.rs:68:12
| |
LL | m!(0, ALMOST_MIN..); LL | m!(0, ALMOST_MIN..);
| ^ pattern `0_u32` not covered | ^ pattern `0_u32` not covered
@ -275,7 +275,7 @@ LL | match $s { $($t)+ => {}, 0_u32 => todo!() }
| ++++++++++++++++++ | ++++++++++++++++++
error[E0004]: non-exhaustive patterns: `u32::MAX` not covered error[E0004]: non-exhaustive patterns: `u32::MAX` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:68:12 --> $DIR/half-open-range-pats-exhaustive-fail.rs:69:12
| |
LL | m!(0, ..=ALMOST_MAX); LL | m!(0, ..=ALMOST_MAX);
| ^ pattern `u32::MAX` not covered | ^ pattern `u32::MAX` not covered
@ -287,7 +287,7 @@ LL | match $s { $($t)+ => {}, u32::MAX => todo!() }
| +++++++++++++++++++++ | +++++++++++++++++++++
error[E0004]: non-exhaustive patterns: `43_u32` not covered error[E0004]: non-exhaustive patterns: `43_u32` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:69:12 --> $DIR/half-open-range-pats-exhaustive-fail.rs:70:12
| |
LL | m!(0, ..=VAL | VAL_2..); LL | m!(0, ..=VAL | VAL_2..);
| ^ pattern `43_u32` not covered | ^ pattern `43_u32` not covered
@ -299,7 +299,7 @@ LL | match $s { $($t)+ => {}, 43_u32 => todo!() }
| +++++++++++++++++++ | +++++++++++++++++++
error[E0004]: non-exhaustive patterns: `43_u32` not covered error[E0004]: non-exhaustive patterns: `43_u32` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:70:12 --> $DIR/half-open-range-pats-exhaustive-fail.rs:71:12
| |
LL | m!(0, ..VAL_1 | VAL_2..); LL | m!(0, ..VAL_1 | VAL_2..);
| ^ pattern `43_u32` not covered | ^ pattern `43_u32` not covered
@ -311,7 +311,7 @@ LL | match $s { $($t)+ => {}, 43_u32 => todo!() }
| +++++++++++++++++++ | +++++++++++++++++++
error[E0004]: non-exhaustive patterns: `u64::MAX` not covered error[E0004]: non-exhaustive patterns: `u64::MAX` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:78:12 --> $DIR/half-open-range-pats-exhaustive-fail.rs:79:12
| |
LL | m!(0, ..u64::MAX); LL | m!(0, ..u64::MAX);
| ^ pattern `u64::MAX` not covered | ^ pattern `u64::MAX` not covered
@ -323,7 +323,7 @@ LL | match $s { $($t)+ => {}, u64::MAX => todo!() }
| +++++++++++++++++++++ | +++++++++++++++++++++
error[E0004]: non-exhaustive patterns: `18446744073709551614_u64..=u64::MAX` not covered error[E0004]: non-exhaustive patterns: `18446744073709551614_u64..=u64::MAX` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:79:12 --> $DIR/half-open-range-pats-exhaustive-fail.rs:80:12
| |
LL | m!(0, ..ALMOST_MAX); LL | m!(0, ..ALMOST_MAX);
| ^ pattern `18446744073709551614_u64..=u64::MAX` not covered | ^ pattern `18446744073709551614_u64..=u64::MAX` not covered
@ -335,7 +335,7 @@ LL | match $s { $($t)+ => {}, 18446744073709551614_u64..=u64::MAX => tod
| ++++++++++++++++++++++++++++++++++++++++++++++++ | ++++++++++++++++++++++++++++++++++++++++++++++++
error[E0004]: non-exhaustive patterns: `0_u64` not covered error[E0004]: non-exhaustive patterns: `0_u64` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:80:12 --> $DIR/half-open-range-pats-exhaustive-fail.rs:81:12
| |
LL | m!(0, ALMOST_MIN..); LL | m!(0, ALMOST_MIN..);
| ^ pattern `0_u64` not covered | ^ pattern `0_u64` not covered
@ -347,7 +347,7 @@ LL | match $s { $($t)+ => {}, 0_u64 => todo!() }
| ++++++++++++++++++ | ++++++++++++++++++
error[E0004]: non-exhaustive patterns: `u64::MAX` not covered error[E0004]: non-exhaustive patterns: `u64::MAX` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:81:12 --> $DIR/half-open-range-pats-exhaustive-fail.rs:82:12
| |
LL | m!(0, ..=ALMOST_MAX); LL | m!(0, ..=ALMOST_MAX);
| ^ pattern `u64::MAX` not covered | ^ pattern `u64::MAX` not covered
@ -359,7 +359,7 @@ LL | match $s { $($t)+ => {}, u64::MAX => todo!() }
| +++++++++++++++++++++ | +++++++++++++++++++++
error[E0004]: non-exhaustive patterns: `43_u64` not covered error[E0004]: non-exhaustive patterns: `43_u64` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:82:12 --> $DIR/half-open-range-pats-exhaustive-fail.rs:83:12
| |
LL | m!(0, ..=VAL | VAL_2..); LL | m!(0, ..=VAL | VAL_2..);
| ^ pattern `43_u64` not covered | ^ pattern `43_u64` not covered
@ -371,7 +371,7 @@ LL | match $s { $($t)+ => {}, 43_u64 => todo!() }
| +++++++++++++++++++ | +++++++++++++++++++
error[E0004]: non-exhaustive patterns: `43_u64` not covered error[E0004]: non-exhaustive patterns: `43_u64` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:83:12 --> $DIR/half-open-range-pats-exhaustive-fail.rs:84:12
| |
LL | m!(0, ..VAL_1 | VAL_2..); LL | m!(0, ..VAL_1 | VAL_2..);
| ^ pattern `43_u64` not covered | ^ pattern `43_u64` not covered
@ -383,7 +383,7 @@ LL | match $s { $($t)+ => {}, 43_u64 => todo!() }
| +++++++++++++++++++ | +++++++++++++++++++
error[E0004]: non-exhaustive patterns: `u128::MAX` not covered error[E0004]: non-exhaustive patterns: `u128::MAX` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:91:12 --> $DIR/half-open-range-pats-exhaustive-fail.rs:92:12
| |
LL | m!(0, ..u128::MAX); LL | m!(0, ..u128::MAX);
| ^ pattern `u128::MAX` not covered | ^ pattern `u128::MAX` not covered
@ -395,7 +395,7 @@ LL | match $s { $($t)+ => {}, u128::MAX => todo!() }
| ++++++++++++++++++++++ | ++++++++++++++++++++++
error[E0004]: non-exhaustive patterns: `340282366920938463463374607431768211454_u128..=u128::MAX` not covered error[E0004]: non-exhaustive patterns: `340282366920938463463374607431768211454_u128..=u128::MAX` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:92:12 --> $DIR/half-open-range-pats-exhaustive-fail.rs:93:12
| |
LL | m!(0, ..ALMOST_MAX); LL | m!(0, ..ALMOST_MAX);
| ^ pattern `340282366920938463463374607431768211454_u128..=u128::MAX` not covered | ^ pattern `340282366920938463463374607431768211454_u128..=u128::MAX` not covered
@ -407,7 +407,7 @@ LL | match $s { $($t)+ => {}, 340282366920938463463374607431768211454_u1
| +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
error[E0004]: non-exhaustive patterns: `0_u128` not covered error[E0004]: non-exhaustive patterns: `0_u128` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:93:12 --> $DIR/half-open-range-pats-exhaustive-fail.rs:94:12
| |
LL | m!(0, ALMOST_MIN..); LL | m!(0, ALMOST_MIN..);
| ^ pattern `0_u128` not covered | ^ pattern `0_u128` not covered
@ -419,7 +419,7 @@ LL | match $s { $($t)+ => {}, 0_u128 => todo!() }
| +++++++++++++++++++ | +++++++++++++++++++
error[E0004]: non-exhaustive patterns: `u128::MAX` not covered error[E0004]: non-exhaustive patterns: `u128::MAX` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:94:12 --> $DIR/half-open-range-pats-exhaustive-fail.rs:95:12
| |
LL | m!(0, ..=ALMOST_MAX); LL | m!(0, ..=ALMOST_MAX);
| ^ pattern `u128::MAX` not covered | ^ pattern `u128::MAX` not covered
@ -431,7 +431,7 @@ LL | match $s { $($t)+ => {}, u128::MAX => todo!() }
| ++++++++++++++++++++++ | ++++++++++++++++++++++
error[E0004]: non-exhaustive patterns: `43_u128` not covered error[E0004]: non-exhaustive patterns: `43_u128` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:95:12 --> $DIR/half-open-range-pats-exhaustive-fail.rs:96:12
| |
LL | m!(0, ..=VAL | VAL_2..); LL | m!(0, ..=VAL | VAL_2..);
| ^ pattern `43_u128` not covered | ^ pattern `43_u128` not covered
@ -443,7 +443,7 @@ LL | match $s { $($t)+ => {}, 43_u128 => todo!() }
| ++++++++++++++++++++ | ++++++++++++++++++++
error[E0004]: non-exhaustive patterns: `43_u128` not covered error[E0004]: non-exhaustive patterns: `43_u128` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:96:12 --> $DIR/half-open-range-pats-exhaustive-fail.rs:97:12
| |
LL | m!(0, ..VAL_1 | VAL_2..); LL | m!(0, ..VAL_1 | VAL_2..);
| ^ pattern `43_u128` not covered | ^ pattern `43_u128` not covered
@ -455,7 +455,7 @@ LL | match $s { $($t)+ => {}, 43_u128 => todo!() }
| ++++++++++++++++++++ | ++++++++++++++++++++
error[E0004]: non-exhaustive patterns: `i8::MAX` not covered error[E0004]: non-exhaustive patterns: `i8::MAX` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:107:12 --> $DIR/half-open-range-pats-exhaustive-fail.rs:108:12
| |
LL | m!(0, ..i8::MAX); LL | m!(0, ..i8::MAX);
| ^ pattern `i8::MAX` not covered | ^ pattern `i8::MAX` not covered
@ -467,7 +467,7 @@ LL | match $s { $($t)+ => {}, i8::MAX => todo!() }
| ++++++++++++++++++++ | ++++++++++++++++++++
error[E0004]: non-exhaustive patterns: `126_i8..=i8::MAX` not covered error[E0004]: non-exhaustive patterns: `126_i8..=i8::MAX` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:108:12 --> $DIR/half-open-range-pats-exhaustive-fail.rs:109:12
| |
LL | m!(0, ..ALMOST_MAX); LL | m!(0, ..ALMOST_MAX);
| ^ pattern `126_i8..=i8::MAX` not covered | ^ pattern `126_i8..=i8::MAX` not covered
@ -479,7 +479,7 @@ LL | match $s { $($t)+ => {}, 126_i8..=i8::MAX => todo!() }
| +++++++++++++++++++++++++++++ | +++++++++++++++++++++++++++++
error[E0004]: non-exhaustive patterns: `i8::MIN` not covered error[E0004]: non-exhaustive patterns: `i8::MIN` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:109:12 --> $DIR/half-open-range-pats-exhaustive-fail.rs:110:12
| |
LL | m!(0, ALMOST_MIN..); LL | m!(0, ALMOST_MIN..);
| ^ pattern `i8::MIN` not covered | ^ pattern `i8::MIN` not covered
@ -491,7 +491,7 @@ LL | match $s { $($t)+ => {}, i8::MIN => todo!() }
| ++++++++++++++++++++ | ++++++++++++++++++++
error[E0004]: non-exhaustive patterns: `i8::MAX` not covered error[E0004]: non-exhaustive patterns: `i8::MAX` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:110:12 --> $DIR/half-open-range-pats-exhaustive-fail.rs:111:12
| |
LL | m!(0, ..=ALMOST_MAX); LL | m!(0, ..=ALMOST_MAX);
| ^ pattern `i8::MAX` not covered | ^ pattern `i8::MAX` not covered
@ -503,7 +503,7 @@ LL | match $s { $($t)+ => {}, i8::MAX => todo!() }
| ++++++++++++++++++++ | ++++++++++++++++++++
error[E0004]: non-exhaustive patterns: `43_i8` not covered error[E0004]: non-exhaustive patterns: `43_i8` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:111:12 --> $DIR/half-open-range-pats-exhaustive-fail.rs:112:12
| |
LL | m!(0, ..=VAL | VAL_2..); LL | m!(0, ..=VAL | VAL_2..);
| ^ pattern `43_i8` not covered | ^ pattern `43_i8` not covered
@ -515,7 +515,7 @@ LL | match $s { $($t)+ => {}, 43_i8 => todo!() }
| ++++++++++++++++++ | ++++++++++++++++++
error[E0004]: non-exhaustive patterns: `43_i8` not covered error[E0004]: non-exhaustive patterns: `43_i8` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:112:12 --> $DIR/half-open-range-pats-exhaustive-fail.rs:113:12
| |
LL | m!(0, ..VAL_1 | VAL_2..); LL | m!(0, ..VAL_1 | VAL_2..);
| ^ pattern `43_i8` not covered | ^ pattern `43_i8` not covered
@ -527,7 +527,7 @@ LL | match $s { $($t)+ => {}, 43_i8 => todo!() }
| ++++++++++++++++++ | ++++++++++++++++++
error[E0004]: non-exhaustive patterns: `i16::MAX` not covered error[E0004]: non-exhaustive patterns: `i16::MAX` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:120:12 --> $DIR/half-open-range-pats-exhaustive-fail.rs:121:12
| |
LL | m!(0, ..i16::MAX); LL | m!(0, ..i16::MAX);
| ^ pattern `i16::MAX` not covered | ^ pattern `i16::MAX` not covered
@ -539,7 +539,7 @@ LL | match $s { $($t)+ => {}, i16::MAX => todo!() }
| +++++++++++++++++++++ | +++++++++++++++++++++
error[E0004]: non-exhaustive patterns: `32766_i16..=i16::MAX` not covered error[E0004]: non-exhaustive patterns: `32766_i16..=i16::MAX` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:121:12 --> $DIR/half-open-range-pats-exhaustive-fail.rs:122:12
| |
LL | m!(0, ..ALMOST_MAX); LL | m!(0, ..ALMOST_MAX);
| ^ pattern `32766_i16..=i16::MAX` not covered | ^ pattern `32766_i16..=i16::MAX` not covered
@ -551,7 +551,7 @@ LL | match $s { $($t)+ => {}, 32766_i16..=i16::MAX => todo!() }
| +++++++++++++++++++++++++++++++++ | +++++++++++++++++++++++++++++++++
error[E0004]: non-exhaustive patterns: `i16::MIN` not covered error[E0004]: non-exhaustive patterns: `i16::MIN` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:122:12 --> $DIR/half-open-range-pats-exhaustive-fail.rs:123:12
| |
LL | m!(0, ALMOST_MIN..); LL | m!(0, ALMOST_MIN..);
| ^ pattern `i16::MIN` not covered | ^ pattern `i16::MIN` not covered
@ -563,7 +563,7 @@ LL | match $s { $($t)+ => {}, i16::MIN => todo!() }
| +++++++++++++++++++++ | +++++++++++++++++++++
error[E0004]: non-exhaustive patterns: `i16::MAX` not covered error[E0004]: non-exhaustive patterns: `i16::MAX` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:123:12 --> $DIR/half-open-range-pats-exhaustive-fail.rs:124:12
| |
LL | m!(0, ..=ALMOST_MAX); LL | m!(0, ..=ALMOST_MAX);
| ^ pattern `i16::MAX` not covered | ^ pattern `i16::MAX` not covered
@ -575,7 +575,7 @@ LL | match $s { $($t)+ => {}, i16::MAX => todo!() }
| +++++++++++++++++++++ | +++++++++++++++++++++
error[E0004]: non-exhaustive patterns: `43_i16` not covered error[E0004]: non-exhaustive patterns: `43_i16` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:124:12 --> $DIR/half-open-range-pats-exhaustive-fail.rs:125:12
| |
LL | m!(0, ..=VAL | VAL_2..); LL | m!(0, ..=VAL | VAL_2..);
| ^ pattern `43_i16` not covered | ^ pattern `43_i16` not covered
@ -587,7 +587,7 @@ LL | match $s { $($t)+ => {}, 43_i16 => todo!() }
| +++++++++++++++++++ | +++++++++++++++++++
error[E0004]: non-exhaustive patterns: `43_i16` not covered error[E0004]: non-exhaustive patterns: `43_i16` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:125:12 --> $DIR/half-open-range-pats-exhaustive-fail.rs:126:12
| |
LL | m!(0, ..VAL_1 | VAL_2..); LL | m!(0, ..VAL_1 | VAL_2..);
| ^ pattern `43_i16` not covered | ^ pattern `43_i16` not covered
@ -599,7 +599,7 @@ LL | match $s { $($t)+ => {}, 43_i16 => todo!() }
| +++++++++++++++++++ | +++++++++++++++++++
error[E0004]: non-exhaustive patterns: `i32::MAX` not covered error[E0004]: non-exhaustive patterns: `i32::MAX` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:133:12 --> $DIR/half-open-range-pats-exhaustive-fail.rs:134:12
| |
LL | m!(0, ..i32::MAX); LL | m!(0, ..i32::MAX);
| ^ pattern `i32::MAX` not covered | ^ pattern `i32::MAX` not covered
@ -611,7 +611,7 @@ LL | match $s { $($t)+ => {}, i32::MAX => todo!() }
| +++++++++++++++++++++ | +++++++++++++++++++++
error[E0004]: non-exhaustive patterns: `2147483646_i32..=i32::MAX` not covered error[E0004]: non-exhaustive patterns: `2147483646_i32..=i32::MAX` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:134:12 --> $DIR/half-open-range-pats-exhaustive-fail.rs:135:12
| |
LL | m!(0, ..ALMOST_MAX); LL | m!(0, ..ALMOST_MAX);
| ^ pattern `2147483646_i32..=i32::MAX` not covered | ^ pattern `2147483646_i32..=i32::MAX` not covered
@ -623,7 +623,7 @@ LL | match $s { $($t)+ => {}, 2147483646_i32..=i32::MAX => todo!() }
| ++++++++++++++++++++++++++++++++++++++ | ++++++++++++++++++++++++++++++++++++++
error[E0004]: non-exhaustive patterns: `i32::MIN` not covered error[E0004]: non-exhaustive patterns: `i32::MIN` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:135:12 --> $DIR/half-open-range-pats-exhaustive-fail.rs:136:12
| |
LL | m!(0, ALMOST_MIN..); LL | m!(0, ALMOST_MIN..);
| ^ pattern `i32::MIN` not covered | ^ pattern `i32::MIN` not covered
@ -635,7 +635,7 @@ LL | match $s { $($t)+ => {}, i32::MIN => todo!() }
| +++++++++++++++++++++ | +++++++++++++++++++++
error[E0004]: non-exhaustive patterns: `i32::MAX` not covered error[E0004]: non-exhaustive patterns: `i32::MAX` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:136:12 --> $DIR/half-open-range-pats-exhaustive-fail.rs:137:12
| |
LL | m!(0, ..=ALMOST_MAX); LL | m!(0, ..=ALMOST_MAX);
| ^ pattern `i32::MAX` not covered | ^ pattern `i32::MAX` not covered
@ -647,7 +647,7 @@ LL | match $s { $($t)+ => {}, i32::MAX => todo!() }
| +++++++++++++++++++++ | +++++++++++++++++++++
error[E0004]: non-exhaustive patterns: `43_i32` not covered error[E0004]: non-exhaustive patterns: `43_i32` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:137:12 --> $DIR/half-open-range-pats-exhaustive-fail.rs:138:12
| |
LL | m!(0, ..=VAL | VAL_2..); LL | m!(0, ..=VAL | VAL_2..);
| ^ pattern `43_i32` not covered | ^ pattern `43_i32` not covered
@ -659,7 +659,7 @@ LL | match $s { $($t)+ => {}, 43_i32 => todo!() }
| +++++++++++++++++++ | +++++++++++++++++++
error[E0004]: non-exhaustive patterns: `43_i32` not covered error[E0004]: non-exhaustive patterns: `43_i32` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:138:12 --> $DIR/half-open-range-pats-exhaustive-fail.rs:139:12
| |
LL | m!(0, ..VAL_1 | VAL_2..); LL | m!(0, ..VAL_1 | VAL_2..);
| ^ pattern `43_i32` not covered | ^ pattern `43_i32` not covered
@ -671,7 +671,7 @@ LL | match $s { $($t)+ => {}, 43_i32 => todo!() }
| +++++++++++++++++++ | +++++++++++++++++++
error[E0004]: non-exhaustive patterns: `i64::MAX` not covered error[E0004]: non-exhaustive patterns: `i64::MAX` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:146:12 --> $DIR/half-open-range-pats-exhaustive-fail.rs:147:12
| |
LL | m!(0, ..i64::MAX); LL | m!(0, ..i64::MAX);
| ^ pattern `i64::MAX` not covered | ^ pattern `i64::MAX` not covered
@ -683,7 +683,7 @@ LL | match $s { $($t)+ => {}, i64::MAX => todo!() }
| +++++++++++++++++++++ | +++++++++++++++++++++
error[E0004]: non-exhaustive patterns: `9223372036854775806_i64..=i64::MAX` not covered error[E0004]: non-exhaustive patterns: `9223372036854775806_i64..=i64::MAX` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:147:12 --> $DIR/half-open-range-pats-exhaustive-fail.rs:148:12
| |
LL | m!(0, ..ALMOST_MAX); LL | m!(0, ..ALMOST_MAX);
| ^ pattern `9223372036854775806_i64..=i64::MAX` not covered | ^ pattern `9223372036854775806_i64..=i64::MAX` not covered
@ -695,7 +695,7 @@ LL | match $s { $($t)+ => {}, 9223372036854775806_i64..=i64::MAX => todo
| +++++++++++++++++++++++++++++++++++++++++++++++ | +++++++++++++++++++++++++++++++++++++++++++++++
error[E0004]: non-exhaustive patterns: `i64::MIN` not covered error[E0004]: non-exhaustive patterns: `i64::MIN` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:148:12 --> $DIR/half-open-range-pats-exhaustive-fail.rs:149:12
| |
LL | m!(0, ALMOST_MIN..); LL | m!(0, ALMOST_MIN..);
| ^ pattern `i64::MIN` not covered | ^ pattern `i64::MIN` not covered
@ -707,7 +707,7 @@ LL | match $s { $($t)+ => {}, i64::MIN => todo!() }
| +++++++++++++++++++++ | +++++++++++++++++++++
error[E0004]: non-exhaustive patterns: `i64::MAX` not covered error[E0004]: non-exhaustive patterns: `i64::MAX` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:149:12 --> $DIR/half-open-range-pats-exhaustive-fail.rs:150:12
| |
LL | m!(0, ..=ALMOST_MAX); LL | m!(0, ..=ALMOST_MAX);
| ^ pattern `i64::MAX` not covered | ^ pattern `i64::MAX` not covered
@ -719,7 +719,7 @@ LL | match $s { $($t)+ => {}, i64::MAX => todo!() }
| +++++++++++++++++++++ | +++++++++++++++++++++
error[E0004]: non-exhaustive patterns: `43_i64` not covered error[E0004]: non-exhaustive patterns: `43_i64` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:150:12 --> $DIR/half-open-range-pats-exhaustive-fail.rs:151:12
| |
LL | m!(0, ..=VAL | VAL_2..); LL | m!(0, ..=VAL | VAL_2..);
| ^ pattern `43_i64` not covered | ^ pattern `43_i64` not covered
@ -731,7 +731,7 @@ LL | match $s { $($t)+ => {}, 43_i64 => todo!() }
| +++++++++++++++++++ | +++++++++++++++++++
error[E0004]: non-exhaustive patterns: `43_i64` not covered error[E0004]: non-exhaustive patterns: `43_i64` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:151:12 --> $DIR/half-open-range-pats-exhaustive-fail.rs:152:12
| |
LL | m!(0, ..VAL_1 | VAL_2..); LL | m!(0, ..VAL_1 | VAL_2..);
| ^ pattern `43_i64` not covered | ^ pattern `43_i64` not covered
@ -743,7 +743,7 @@ LL | match $s { $($t)+ => {}, 43_i64 => todo!() }
| +++++++++++++++++++ | +++++++++++++++++++
error[E0004]: non-exhaustive patterns: `i128::MAX` not covered error[E0004]: non-exhaustive patterns: `i128::MAX` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:159:12 --> $DIR/half-open-range-pats-exhaustive-fail.rs:160:12
| |
LL | m!(0, ..i128::MAX); LL | m!(0, ..i128::MAX);
| ^ pattern `i128::MAX` not covered | ^ pattern `i128::MAX` not covered
@ -755,7 +755,7 @@ LL | match $s { $($t)+ => {}, i128::MAX => todo!() }
| ++++++++++++++++++++++ | ++++++++++++++++++++++
error[E0004]: non-exhaustive patterns: `170141183460469231731687303715884105726_i128..=i128::MAX` not covered error[E0004]: non-exhaustive patterns: `170141183460469231731687303715884105726_i128..=i128::MAX` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:160:12 --> $DIR/half-open-range-pats-exhaustive-fail.rs:161:12
| |
LL | m!(0, ..ALMOST_MAX); LL | m!(0, ..ALMOST_MAX);
| ^ pattern `170141183460469231731687303715884105726_i128..=i128::MAX` not covered | ^ pattern `170141183460469231731687303715884105726_i128..=i128::MAX` not covered
@ -767,7 +767,7 @@ LL | match $s { $($t)+ => {}, 170141183460469231731687303715884105726_i1
| +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
error[E0004]: non-exhaustive patterns: `i128::MIN` not covered error[E0004]: non-exhaustive patterns: `i128::MIN` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:161:12 --> $DIR/half-open-range-pats-exhaustive-fail.rs:162:12
| |
LL | m!(0, ALMOST_MIN..); LL | m!(0, ALMOST_MIN..);
| ^ pattern `i128::MIN` not covered | ^ pattern `i128::MIN` not covered
@ -779,7 +779,7 @@ LL | match $s { $($t)+ => {}, i128::MIN => todo!() }
| ++++++++++++++++++++++ | ++++++++++++++++++++++
error[E0004]: non-exhaustive patterns: `i128::MAX` not covered error[E0004]: non-exhaustive patterns: `i128::MAX` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:162:12 --> $DIR/half-open-range-pats-exhaustive-fail.rs:163:12
| |
LL | m!(0, ..=ALMOST_MAX); LL | m!(0, ..=ALMOST_MAX);
| ^ pattern `i128::MAX` not covered | ^ pattern `i128::MAX` not covered
@ -791,7 +791,7 @@ LL | match $s { $($t)+ => {}, i128::MAX => todo!() }
| ++++++++++++++++++++++ | ++++++++++++++++++++++
error[E0004]: non-exhaustive patterns: `43_i128` not covered error[E0004]: non-exhaustive patterns: `43_i128` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:163:12 --> $DIR/half-open-range-pats-exhaustive-fail.rs:164:12
| |
LL | m!(0, ..=VAL | VAL_2..); LL | m!(0, ..=VAL | VAL_2..);
| ^ pattern `43_i128` not covered | ^ pattern `43_i128` not covered
@ -803,7 +803,7 @@ LL | match $s { $($t)+ => {}, 43_i128 => todo!() }
| ++++++++++++++++++++ | ++++++++++++++++++++
error[E0004]: non-exhaustive patterns: `43_i128` not covered error[E0004]: non-exhaustive patterns: `43_i128` not covered
--> $DIR/half-open-range-pats-exhaustive-fail.rs:164:12 --> $DIR/half-open-range-pats-exhaustive-fail.rs:165:12
| |
LL | m!(0, ..VAL_1 | VAL_2..); LL | m!(0, ..VAL_1 | VAL_2..);
| ^ pattern `43_i128` not covered | ^ pattern `43_i128` not covered

1
tests/ui/half-open-range-patterns/range_pat_interactions0.rs
View File

@ -1,4 +1,5 @@
//@ run-pass //@ run-pass
#![allow(non_contiguous_range_endpoints)]
#![feature(exclusive_range_pattern)] #![feature(exclusive_range_pattern)]
#![feature(inline_const_pat)] #![feature(inline_const_pat)]

1
tests/ui/match/issue-18060.rs
View File

@ -1,6 +1,7 @@
//@ run-pass //@ run-pass
// Regression test for #18060: match arms were matching in the wrong order. // Regression test for #18060: match arms were matching in the wrong order.
#[allow(non_contiguous_range_endpoints)]
fn main() { fn main() {
assert_eq!(2, match (1, 3) { (0, 2..=5) => 1, (1, 3) => 2, (_, 2..=5) => 3, (_, _) => 4 }); assert_eq!(2, match (1, 3) { (0, 2..=5) => 1, (1, 3) => 2, (_, 2..=5) => 3, (_, _) => 4 });
assert_eq!(2, match (1, 3) { (1, 3) => 2, (_, 2..=5) => 3, (_, _) => 4 }); assert_eq!(2, match (1, 3) { (1, 3) => 2, (_, 2..=5) => 3, (_, _) => 4 });

1
tests/ui/mir/mir_match_test.rs
View File

@ -1,5 +1,6 @@
#![feature(exclusive_range_pattern)] #![feature(exclusive_range_pattern)]
#![allow(overlapping_range_endpoints)] #![allow(overlapping_range_endpoints)]
#![allow(non_contiguous_range_endpoints)]
//@ run-pass //@ run-pass

1
tests/ui/pattern/usefulness/integer-ranges/exhaustiveness.rs
View File

@ -1,5 +1,6 @@
#![feature(exclusive_range_pattern)] #![feature(exclusive_range_pattern)]
#![allow(overlapping_range_endpoints)] #![allow(overlapping_range_endpoints)]
#![allow(non_contiguous_range_endpoints)]
#![deny(unreachable_patterns)] #![deny(unreachable_patterns)]
macro_rules! m { macro_rules! m {

24
tests/ui/pattern/usefulness/integer-ranges/exhaustiveness.stderr
View File

@ -1,5 +1,5 @@
error[E0004]: non-exhaustive patterns: `u8::MAX` not covered error[E0004]: non-exhaustive patterns: `u8::MAX` not covered
--> $DIR/exhaustiveness.rs:47:8 --> $DIR/exhaustiveness.rs:48:8
| |
LL | m!(0u8, 0..255); LL | m!(0u8, 0..255);
| ^^^ pattern `u8::MAX` not covered | ^^^ pattern `u8::MAX` not covered
@ -11,7 +11,7 @@ LL | match $s { $($t)+ => {}, u8::MAX => todo!() }
| ++++++++++++++++++++ | ++++++++++++++++++++
error[E0004]: non-exhaustive patterns: `u8::MAX` not covered error[E0004]: non-exhaustive patterns: `u8::MAX` not covered
--> $DIR/exhaustiveness.rs:48:8 --> $DIR/exhaustiveness.rs:49:8
| |
LL | m!(0u8, 0..=254); LL | m!(0u8, 0..=254);
| ^^^ pattern `u8::MAX` not covered | ^^^ pattern `u8::MAX` not covered
@ -23,7 +23,7 @@ LL | match $s { $($t)+ => {}, u8::MAX => todo!() }
| ++++++++++++++++++++ | ++++++++++++++++++++
error[E0004]: non-exhaustive patterns: `0_u8` not covered error[E0004]: non-exhaustive patterns: `0_u8` not covered
--> $DIR/exhaustiveness.rs:49:8 --> $DIR/exhaustiveness.rs:50:8
| |
LL | m!(0u8, 1..=255); LL | m!(0u8, 1..=255);
| ^^^ pattern `0_u8` not covered | ^^^ pattern `0_u8` not covered
@ -35,7 +35,7 @@ LL | match $s { $($t)+ => {}, 0_u8 => todo!() }
| +++++++++++++++++ | +++++++++++++++++
error[E0004]: non-exhaustive patterns: `42_u8` not covered error[E0004]: non-exhaustive patterns: `42_u8` not covered
--> $DIR/exhaustiveness.rs:50:8 --> $DIR/exhaustiveness.rs:51:8
| |
LL | m!(0u8, 0..42 | 43..=255); LL | m!(0u8, 0..42 | 43..=255);
| ^^^ pattern `42_u8` not covered | ^^^ pattern `42_u8` not covered
@ -47,7 +47,7 @@ LL | match $s { $($t)+ => {}, 42_u8 => todo!() }
| ++++++++++++++++++ | ++++++++++++++++++
error[E0004]: non-exhaustive patterns: `i8::MAX` not covered error[E0004]: non-exhaustive patterns: `i8::MAX` not covered
--> $DIR/exhaustiveness.rs:51:8 --> $DIR/exhaustiveness.rs:52:8
| |
LL | m!(0i8, -128..127); LL | m!(0i8, -128..127);
| ^^^ pattern `i8::MAX` not covered | ^^^ pattern `i8::MAX` not covered
@ -59,7 +59,7 @@ LL | match $s { $($t)+ => {}, i8::MAX => todo!() }
| ++++++++++++++++++++ | ++++++++++++++++++++
error[E0004]: non-exhaustive patterns: `i8::MAX` not covered error[E0004]: non-exhaustive patterns: `i8::MAX` not covered
--> $DIR/exhaustiveness.rs:52:8 --> $DIR/exhaustiveness.rs:53:8
| |
LL | m!(0i8, -128..=126); LL | m!(0i8, -128..=126);
| ^^^ pattern `i8::MAX` not covered | ^^^ pattern `i8::MAX` not covered
@ -71,7 +71,7 @@ LL | match $s { $($t)+ => {}, i8::MAX => todo!() }
| ++++++++++++++++++++ | ++++++++++++++++++++
error[E0004]: non-exhaustive patterns: `i8::MIN` not covered error[E0004]: non-exhaustive patterns: `i8::MIN` not covered
--> $DIR/exhaustiveness.rs:53:8 --> $DIR/exhaustiveness.rs:54:8
| |
LL | m!(0i8, -127..=127); LL | m!(0i8, -127..=127);
| ^^^ pattern `i8::MIN` not covered | ^^^ pattern `i8::MIN` not covered
@ -83,7 +83,7 @@ LL | match $s { $($t)+ => {}, i8::MIN => todo!() }
| ++++++++++++++++++++ | ++++++++++++++++++++
error[E0004]: non-exhaustive patterns: `0_i8` not covered error[E0004]: non-exhaustive patterns: `0_i8` not covered
--> $DIR/exhaustiveness.rs:54:11 --> $DIR/exhaustiveness.rs:55:11
| |
LL | match 0i8 { LL | match 0i8 {
| ^^^ pattern `0_i8` not covered | ^^^ pattern `0_i8` not covered
@ -96,7 +96,7 @@ LL + 0_i8 => todo!()
| |
error[E0004]: non-exhaustive patterns: `u128::MAX` not covered error[E0004]: non-exhaustive patterns: `u128::MAX` not covered
--> $DIR/exhaustiveness.rs:59:8 --> $DIR/exhaustiveness.rs:60:8
| |
LL | m!(0u128, 0..=ALMOST_MAX); LL | m!(0u128, 0..=ALMOST_MAX);
| ^^^^^ pattern `u128::MAX` not covered | ^^^^^ pattern `u128::MAX` not covered
@ -108,7 +108,7 @@ LL | match $s { $($t)+ => {}, u128::MAX => todo!() }
| ++++++++++++++++++++++ | ++++++++++++++++++++++
error[E0004]: non-exhaustive patterns: `5_u128..=u128::MAX` not covered error[E0004]: non-exhaustive patterns: `5_u128..=u128::MAX` not covered
--> $DIR/exhaustiveness.rs:60:8 --> $DIR/exhaustiveness.rs:61:8
| |
LL | m!(0u128, 0..=4); LL | m!(0u128, 0..=4);
| ^^^^^ pattern `5_u128..=u128::MAX` not covered | ^^^^^ pattern `5_u128..=u128::MAX` not covered
@ -120,7 +120,7 @@ LL | match $s { $($t)+ => {}, 5_u128..=u128::MAX => todo!() }
| +++++++++++++++++++++++++++++++ | +++++++++++++++++++++++++++++++
error[E0004]: non-exhaustive patterns: `0_u128` not covered error[E0004]: non-exhaustive patterns: `0_u128` not covered
--> $DIR/exhaustiveness.rs:61:8 --> $DIR/exhaustiveness.rs:62:8
| |
LL | m!(0u128, 1..=u128::MAX); LL | m!(0u128, 1..=u128::MAX);
| ^^^^^ pattern `0_u128` not covered | ^^^^^ pattern `0_u128` not covered
@ -132,7 +132,7 @@ LL | match $s { $($t)+ => {}, 0_u128 => todo!() }
| +++++++++++++++++++ | +++++++++++++++++++
error[E0004]: non-exhaustive patterns: `(126_u8..=127_u8, false)` not covered error[E0004]: non-exhaustive patterns: `(126_u8..=127_u8, false)` not covered
--> $DIR/exhaustiveness.rs:69:11 --> $DIR/exhaustiveness.rs:70:11
| |
LL | match (0u8, true) { LL | match (0u8, true) {
| ^^^^^^^^^^^ pattern `(126_u8..=127_u8, false)` not covered | ^^^^^^^^^^^ pattern `(126_u8..=127_u8, false)` not covered

1
tests/ui/pattern/usefulness/integer-ranges/reachability.rs
View File

@ -1,5 +1,6 @@
#![feature(exclusive_range_pattern)] #![feature(exclusive_range_pattern)]
#![allow(overlapping_range_endpoints)] #![allow(overlapping_range_endpoints)]
#![allow(non_contiguous_range_endpoints)]
#![deny(unreachable_patterns)] #![deny(unreachable_patterns)]
macro_rules! m { macro_rules! m {

52
tests/ui/pattern/usefulness/integer-ranges/reachability.stderr
View File

@ -1,137 +1,137 @@
error: unreachable pattern error: unreachable pattern
--> $DIR/reachability.rs:18:17 --> $DIR/reachability.rs:19:17
| |
LL | m!(0u8, 42, 42); LL | m!(0u8, 42, 42);
| ^^ | ^^
| |
note: the lint level is defined here note: the lint level is defined here
--> $DIR/reachability.rs:3:9 --> $DIR/reachability.rs:4:9
| |
LL | #![deny(unreachable_patterns)] LL | #![deny(unreachable_patterns)]
| ^^^^^^^^^^^^^^^^^^^^ | ^^^^^^^^^^^^^^^^^^^^
error: unreachable pattern error: unreachable pattern
--> $DIR/reachability.rs:22:22 --> $DIR/reachability.rs:23:22
| |
LL | m!(0u8, 20..=30, 20); LL | m!(0u8, 20..=30, 20);
| ^^ | ^^
error: unreachable pattern error: unreachable pattern
--> $DIR/reachability.rs:23:22 --> $DIR/reachability.rs:24:22
| |
LL | m!(0u8, 20..=30, 21); LL | m!(0u8, 20..=30, 21);
| ^^ | ^^
error: unreachable pattern error: unreachable pattern
--> $DIR/reachability.rs:24:22 --> $DIR/reachability.rs:25:22
| |
LL | m!(0u8, 20..=30, 25); LL | m!(0u8, 20..=30, 25);
| ^^ | ^^
error: unreachable pattern error: unreachable pattern
--> $DIR/reachability.rs:25:22 --> $DIR/reachability.rs:26:22
| |
LL | m!(0u8, 20..=30, 29); LL | m!(0u8, 20..=30, 29);
| ^^ | ^^
error: unreachable pattern error: unreachable pattern
--> $DIR/reachability.rs:26:22 --> $DIR/reachability.rs:27:22
| |
LL | m!(0u8, 20..=30, 30); LL | m!(0u8, 20..=30, 30);
| ^^ | ^^
error: unreachable pattern error: unreachable pattern
--> $DIR/reachability.rs:29:21 --> $DIR/reachability.rs:30:21
| |
LL | m!(0u8, 20..30, 20); LL | m!(0u8, 20..30, 20);
| ^^ | ^^
error: unreachable pattern error: unreachable pattern
--> $DIR/reachability.rs:30:21 --> $DIR/reachability.rs:31:21
| |
LL | m!(0u8, 20..30, 21); LL | m!(0u8, 20..30, 21);
| ^^ | ^^
error: unreachable pattern error: unreachable pattern
--> $DIR/reachability.rs:31:21 --> $DIR/reachability.rs:32:21
| |
LL | m!(0u8, 20..30, 25); LL | m!(0u8, 20..30, 25);
| ^^ | ^^
error: unreachable pattern error: unreachable pattern
--> $DIR/reachability.rs:32:21 --> $DIR/reachability.rs:33:21
| |
LL | m!(0u8, 20..30, 29); LL | m!(0u8, 20..30, 29);
| ^^ | ^^
error: unreachable pattern error: unreachable pattern
--> $DIR/reachability.rs:36:22 --> $DIR/reachability.rs:37:22
| |
LL | m!(0u8, 20..=30, 20..=30); LL | m!(0u8, 20..=30, 20..=30);
| ^^^^^^^ | ^^^^^^^
error: unreachable pattern error: unreachable pattern
--> $DIR/reachability.rs:37:22 --> $DIR/reachability.rs:38:22
| |
LL | m!(0u8, 20.. 30, 20.. 30); LL | m!(0u8, 20.. 30, 20.. 30);
| ^^^^^^^ | ^^^^^^^
error: unreachable pattern error: unreachable pattern
--> $DIR/reachability.rs:38:22 --> $DIR/reachability.rs:39:22
| |
LL | m!(0u8, 20..=30, 20.. 30); LL | m!(0u8, 20..=30, 20.. 30);
| ^^^^^^^ | ^^^^^^^
error: unreachable pattern error: unreachable pattern
--> $DIR/reachability.rs:40:22 --> $DIR/reachability.rs:41:22
| |
LL | m!(0u8, 20..=30, 21..=30); LL | m!(0u8, 20..=30, 21..=30);
| ^^^^^^^ | ^^^^^^^
error: unreachable pattern error: unreachable pattern
--> $DIR/reachability.rs:41:22 --> $DIR/reachability.rs:42:22
| |
LL | m!(0u8, 20..=30, 20..=29); LL | m!(0u8, 20..=30, 20..=29);
| ^^^^^^^ | ^^^^^^^
error: unreachable pattern error: unreachable pattern
--> $DIR/reachability.rs:43:24 --> $DIR/reachability.rs:44:24
| |
LL | m!('a', 'A'..='z', 'a'..='z'); LL | m!('a', 'A'..='z', 'a'..='z');
| ^^^^^^^^^ | ^^^^^^^^^
error: unreachable pattern error: unreachable pattern
--> $DIR/reachability.rs:50:9 --> $DIR/reachability.rs:51:9
| |
LL | 5..=8 => {}, LL | 5..=8 => {},
| ^^^^^ | ^^^^^
error: unreachable pattern error: unreachable pattern
--> $DIR/reachability.rs:56:9 --> $DIR/reachability.rs:57:9
| |
LL | 5..15 => {}, LL | 5..15 => {},
| ^^^^^ | ^^^^^
error: unreachable pattern error: unreachable pattern
--> $DIR/reachability.rs:63:9 --> $DIR/reachability.rs:64:9
| |
LL | 5..25 => {}, LL | 5..25 => {},
| ^^^^^ | ^^^^^
error: unreachable pattern error: unreachable pattern
--> $DIR/reachability.rs:71:9 --> $DIR/reachability.rs:72:9
| |
LL | 5..25 => {}, LL | 5..25 => {},
| ^^^^^ | ^^^^^
error: unreachable pattern error: unreachable pattern
--> $DIR/reachability.rs:77:9 --> $DIR/reachability.rs:78:9
| |
LL | 5..15 => {}, LL | 5..15 => {},
| ^^^^^ | ^^^^^
error: unreachable pattern error: unreachable pattern
--> $DIR/reachability.rs:84:9 --> $DIR/reachability.rs:85:9
| |
LL | _ => {}, LL | _ => {},
| - matches any value | - matches any value
@ -139,19 +139,19 @@ LL | '\u{D7FF}'..='\u{E000}' => {},
| ^^^^^^^^^^^^^^^^^^^^^^^ unreachable pattern | ^^^^^^^^^^^^^^^^^^^^^^^ unreachable pattern
error: unreachable pattern error: unreachable pattern
--> $DIR/reachability.rs:89:9 --> $DIR/reachability.rs:90:9
| |
LL | '\u{D7FF}'..='\u{E000}' => {}, LL | '\u{D7FF}'..='\u{E000}' => {},
| ^^^^^^^^^^^^^^^^^^^^^^^ | ^^^^^^^^^^^^^^^^^^^^^^^
error: unreachable pattern error: unreachable pattern
--> $DIR/reachability.rs:105:9 --> $DIR/reachability.rs:106:9
| |
LL | &FOO => {} LL | &FOO => {}
| ^^^^ | ^^^^
error: unreachable pattern error: unreachable pattern
--> $DIR/reachability.rs:106:9 --> $DIR/reachability.rs:107:9
| |
LL | BAR => {} LL | BAR => {}
| ^^^ | ^^^