user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Intersection patterns 'p1 @ p2' are not supported.

Browse source
This commit is contained in:
Mazdak Farrokhzad 2019-07-08 02:06:49 +02:00
parent 91c8b53f45
commit e725ea2215
2 changed files with 0 additions and 15 deletions
Download patch file Download diff file Expand all files Collapse all files

6
src/test/ui/issues/issue-26158.rs
View file

@ -1,6 +0,0 @@
#![feature(slice_patterns)]
fn main() {
let x: &[u32] = &[];
let &[[ref _a, ref _b @ ..] @ ..] = x; //~ ERROR refutable pattern
}

9
src/test/ui/issues/issue-26158.stderr
View file

@ -1,9 +0,0 @@
error[E0005]: refutable pattern in local binding: `&[]` not covered
--> $DIR/issue-26158.rs:5:9
|
LL | let &[[ref _a, ref _b..]..] = x;
| ^^^^^^^^^^^^^^^^^^^^^^^ pattern `&[]` not covered
error: aborting due to previous error
For more information about this error, try `rustc --explain E0005`.