1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
error: unreachable pattern
--> $DIR/issue-12369.rs:9:9
|
LL | &[10,a, ref rest @ ..] => 10
| ^^^^^^^^^^^^^^^^^^^^^^ no value can reach this
|
note: multiple earlier patterns match some of the same values
--> $DIR/issue-12369.rs:9:9
|
LL | &[a,b,c] => 3,
| -------- matches some of the same values
LL | &[a, ref rest @ ..] => a,
| ------------------- matches some of the same values
LL | &[10,a, ref rest @ ..] => 10
| ^^^^^^^^^^^^^^^^^^^^^^ collectively making this unreachable
note: the lint level is defined here
--> $DIR/issue-12369.rs:1:9
|
LL | #![deny(unreachable_patterns)]
| ^^^^^^^^^^^^^^^^^^^^
error: aborting due to 1 previous error
|
