Closed
Description
It looks like #14731 introduced a regression.
The following used to work:
fn main() {
let mut x = &[1, 2, 3, 4];
loop {
x = match x {
[1, n, 3, ..rest] => {
println!("1, {}, 3", n);
rest
}
[n, ..rest] => {
println!("{}", n);
rest
}
[] =>
break
}
}
}
but now generates the following error:
t.rs:5:13: 16:10 error: non-exhaustive patterns: `[_, _]` not covered
t.rs:5 x = match x {
t.rs:6 [1, n, 3, ..rest] => {
t.rs:7 println!("1, {}, 3", n);
t.rs:8 rest
t.rs:9 }
t.rs:10 [n, ..rest] => {
...
error: aborting due to previous error
Metadata
Metadata
Assignees
Labels
No labels