]>
git.proxmox.com Git - rustc.git/blob - src/test/ui/pattern/usefulness/slice-patterns-exhaustiveness.rs
1 #![feature(slice_patterns)]
4 let s
: &[bool
] = &[true; 0];
5 let s1
: &[bool
; 1] = &[false; 1];
6 let s2
: &[bool
; 2] = &[false; 2];
7 let s3
: &[bool
; 3] = &[false; 3];
8 let s10
: &[bool
; 10] = &[false; 10];
11 //~^ ERROR `&[false, _]` not covered
12 [true, .., true] => {}
15 //~^ ERROR `&[false, ..]` not covered
16 [true, .., true] => {}
19 //~^ ERROR `&[false, ..]` not covered
20 [true, .., true] => {}
28 //~^ ERROR `&[false, true]` not covered
33 //~^ ERROR `&[false, .., true]` not covered
38 //~^ ERROR `&[false, .., true]` not covered
45 //~^ ERROR `&[_, ..]` not covered
49 //~^ ERROR `&[_, _, ..]` not covered
54 //~^ ERROR `&[false, ..]` not covered
59 //~^ ERROR `&[false, _, ..]` not covered
65 //~^ ERROR `&[_, .., false]` not covered
72 //~^ ERROR `&[_, _, .., true]` not covered
79 //~^ ERROR `&[true, _, .., _]` not covered
83 [false, .., false] => {}
86 const CONST
: &[bool
] = &[true];
88 //~^ ERROR `&[..]` not covered
92 //~^ ERROR `&[true]` not covered
98 const CONST1
: &[bool
; 1] = &[true];
100 //~^ ERROR `&[false]` not covered