mirror of https://github.com/rust-lang/rust
268 lines
7.6 KiB
Plaintext
268 lines
7.6 KiB
Plaintext
error: unreachable pattern
|
|
--> $DIR/reachability.rs:18:17
|
|
|
|
|
LL | m!(0u8, 42, 42);
|
|
| -- ^^ no value can reach this
|
|
| |
|
|
| matches all the relevant values
|
|
|
|
|
note: the lint level is defined here
|
|
--> $DIR/reachability.rs:3:9
|
|
|
|
|
LL | #![deny(unreachable_patterns)]
|
|
| ^^^^^^^^^^^^^^^^^^^^
|
|
|
|
error: unreachable pattern
|
|
--> $DIR/reachability.rs:22:22
|
|
|
|
|
LL | m!(0u8, 20..=30, 20);
|
|
| ------- ^^ no value can reach this
|
|
| |
|
|
| matches all the relevant values
|
|
|
|
error: unreachable pattern
|
|
--> $DIR/reachability.rs:23:22
|
|
|
|
|
LL | m!(0u8, 20..=30, 21);
|
|
| ------- ^^ no value can reach this
|
|
| |
|
|
| matches all the relevant values
|
|
|
|
error: unreachable pattern
|
|
--> $DIR/reachability.rs:24:22
|
|
|
|
|
LL | m!(0u8, 20..=30, 25);
|
|
| ------- ^^ no value can reach this
|
|
| |
|
|
| matches all the relevant values
|
|
|
|
error: unreachable pattern
|
|
--> $DIR/reachability.rs:25:22
|
|
|
|
|
LL | m!(0u8, 20..=30, 29);
|
|
| ------- ^^ no value can reach this
|
|
| |
|
|
| matches all the relevant values
|
|
|
|
error: unreachable pattern
|
|
--> $DIR/reachability.rs:26:22
|
|
|
|
|
LL | m!(0u8, 20..=30, 30);
|
|
| ------- ^^ no value can reach this
|
|
| |
|
|
| matches all the relevant values
|
|
|
|
error: unreachable pattern
|
|
--> $DIR/reachability.rs:29:21
|
|
|
|
|
LL | m!(0u8, 20..30, 20);
|
|
| ------ ^^ no value can reach this
|
|
| |
|
|
| matches all the relevant values
|
|
|
|
error: unreachable pattern
|
|
--> $DIR/reachability.rs:30:21
|
|
|
|
|
LL | m!(0u8, 20..30, 21);
|
|
| ------ ^^ no value can reach this
|
|
| |
|
|
| matches all the relevant values
|
|
|
|
error: unreachable pattern
|
|
--> $DIR/reachability.rs:31:21
|
|
|
|
|
LL | m!(0u8, 20..30, 25);
|
|
| ------ ^^ no value can reach this
|
|
| |
|
|
| matches all the relevant values
|
|
|
|
error: unreachable pattern
|
|
--> $DIR/reachability.rs:32:21
|
|
|
|
|
LL | m!(0u8, 20..30, 29);
|
|
| ------ ^^ no value can reach this
|
|
| |
|
|
| matches all the relevant values
|
|
|
|
error: unreachable pattern
|
|
--> $DIR/reachability.rs:36:22
|
|
|
|
|
LL | m!(0u8, 20..=30, 20..=30);
|
|
| ------- ^^^^^^^ no value can reach this
|
|
| |
|
|
| matches all the relevant values
|
|
|
|
error: unreachable pattern
|
|
--> $DIR/reachability.rs:37:22
|
|
|
|
|
LL | m!(0u8, 20.. 30, 20.. 30);
|
|
| ------- ^^^^^^^ no value can reach this
|
|
| |
|
|
| matches all the relevant values
|
|
|
|
error: unreachable pattern
|
|
--> $DIR/reachability.rs:38:22
|
|
|
|
|
LL | m!(0u8, 20..=30, 20.. 30);
|
|
| ------- ^^^^^^^ no value can reach this
|
|
| |
|
|
| matches all the relevant values
|
|
|
|
error: unreachable pattern
|
|
--> $DIR/reachability.rs:40:22
|
|
|
|
|
LL | m!(0u8, 20..=30, 21..=30);
|
|
| ------- ^^^^^^^ no value can reach this
|
|
| |
|
|
| matches all the relevant values
|
|
|
|
error: unreachable pattern
|
|
--> $DIR/reachability.rs:41:22
|
|
|
|
|
LL | m!(0u8, 20..=30, 20..=29);
|
|
| ------- ^^^^^^^ no value can reach this
|
|
| |
|
|
| matches all the relevant values
|
|
|
|
error: unreachable pattern
|
|
--> $DIR/reachability.rs:43:24
|
|
|
|
|
LL | m!('a', 'A'..='z', 'a'..='z');
|
|
| --------- ^^^^^^^^^ no value can reach this
|
|
| |
|
|
| matches all the relevant values
|
|
|
|
error: unreachable pattern
|
|
--> $DIR/reachability.rs:50:9
|
|
|
|
|
LL | 5..=8 => {},
|
|
| ^^^^^ no value can reach this
|
|
|
|
|
note: multiple earlier patterns match some of the same values
|
|
--> $DIR/reachability.rs:50:9
|
|
|
|
|
LL | 5 => {},
|
|
| - matches some of the same values
|
|
LL | 6 => {},
|
|
| - matches some of the same values
|
|
LL | 7 => {},
|
|
| - matches some of the same values
|
|
LL | 8 => {},
|
|
| - matches some of the same values
|
|
LL | 5..=8 => {},
|
|
| ^^^^^ collectively making this unreachable
|
|
|
|
error: unreachable pattern
|
|
--> $DIR/reachability.rs:56:9
|
|
|
|
|
LL | 5..15 => {},
|
|
| ^^^^^ no value can reach this
|
|
|
|
|
note: multiple earlier patterns match some of the same values
|
|
--> $DIR/reachability.rs:56:9
|
|
|
|
|
LL | 0..10 => {},
|
|
| ----- matches some of the same values
|
|
LL | 10..20 => {},
|
|
| ------ matches some of the same values
|
|
LL | 5..15 => {},
|
|
| ^^^^^ collectively making this unreachable
|
|
|
|
error: unreachable pattern
|
|
--> $DIR/reachability.rs:63:9
|
|
|
|
|
LL | 5..25 => {},
|
|
| ^^^^^ no value can reach this
|
|
|
|
|
note: multiple earlier patterns match some of the same values
|
|
--> $DIR/reachability.rs:63:9
|
|
|
|
|
LL | 0..10 => {},
|
|
| ----- matches some of the same values
|
|
LL | 10..20 => {},
|
|
| ------ matches some of the same values
|
|
LL | 20..30 => {},
|
|
| ------ matches some of the same values
|
|
LL | 5..25 => {},
|
|
| ^^^^^ collectively making this unreachable
|
|
|
|
error: unreachable pattern
|
|
--> $DIR/reachability.rs:71:9
|
|
|
|
|
LL | 5..25 => {},
|
|
| ^^^^^ no value can reach this
|
|
|
|
|
note: multiple earlier patterns match some of the same values
|
|
--> $DIR/reachability.rs:71:9
|
|
|
|
|
LL | 0..10 => {},
|
|
| ----- matches some of the same values
|
|
LL | 10 => {},
|
|
| -- matches some of the same values
|
|
LL | 11..=23 => {},
|
|
| ------- matches some of the same values
|
|
LL | 19..30 => {},
|
|
| ------ matches some of the same values
|
|
LL | 5..25 => {},
|
|
| ^^^^^ collectively making this unreachable
|
|
|
|
error: unreachable pattern
|
|
--> $DIR/reachability.rs:77:9
|
|
|
|
|
LL | 5..15 => {},
|
|
| ^^^^^ no value can reach this
|
|
|
|
|
note: multiple earlier patterns match some of the same values
|
|
--> $DIR/reachability.rs:77:9
|
|
|
|
|
LL | 0..10 => {},
|
|
| ----- matches some of the same values
|
|
LL | 10..20 => {},
|
|
| ------ matches some of the same values
|
|
LL | 5..15 => {},
|
|
| ^^^^^ collectively making this unreachable
|
|
|
|
error: unreachable pattern
|
|
--> $DIR/reachability.rs:84:9
|
|
|
|
|
LL | _ => {},
|
|
| - matches any value
|
|
LL | '\u{D7FF}'..='\u{E000}' => {},
|
|
| ^^^^^^^^^^^^^^^^^^^^^^^ no value can reach this
|
|
|
|
error: unreachable pattern
|
|
--> $DIR/reachability.rs:89:9
|
|
|
|
|
LL | '\u{D7FF}'..='\u{E000}' => {},
|
|
| ^^^^^^^^^^^^^^^^^^^^^^^ no value can reach this
|
|
|
|
|
note: multiple earlier patterns match some of the same values
|
|
--> $DIR/reachability.rs:89:9
|
|
|
|
|
LL | '\u{0}'..='\u{D7FF}' => {},
|
|
| -------------------- matches some of the same values
|
|
LL | '\u{E000}'..='\u{10_FFFF}' => {},
|
|
| -------------------------- matches some of the same values
|
|
LL | '\u{D7FF}'..='\u{E000}' => {},
|
|
| ^^^^^^^^^^^^^^^^^^^^^^^ collectively making this unreachable
|
|
|
|
error: unreachable pattern
|
|
--> $DIR/reachability.rs:105:9
|
|
|
|
|
LL | &42 => {}
|
|
| --- matches all the relevant values
|
|
LL | &FOO => {}
|
|
| ^^^^ no value can reach this
|
|
|
|
error: unreachable pattern
|
|
--> $DIR/reachability.rs:106:9
|
|
|
|
|
LL | &42 => {}
|
|
| --- matches all the relevant values
|
|
LL | &FOO => {}
|
|
LL | BAR => {}
|
|
| ^^^ no value can reach this
|
|
|
|
error: aborting due to 25 previous errors
|
|
|