2 let s: &[bool] = &[true; 0];
3 let s1: &[bool; 1] = &[false; 1];
4 let s2: &[bool; 2] = &[false; 2];
5 let s3: &[bool; 3] = &[false; 3];
6 let s10: &[bool; 10] = &[false; 10];
9 //~^ ERROR `&[false, _]` not covered
10 [true, .., true] => {}
13 //~^ ERROR `&[false, ..]` not covered
14 [true, .., true] => {}
17 //~^ ERROR `&[false, ..]` not covered
18 [true, .., true] => {}
26 //~^ ERROR `&[false, true]` not covered
31 //~^ ERROR `&[false, .., true]` not covered
36 //~^ ERROR `&[false, .., true]` not covered
43 //~^ ERROR `&[_, ..]` not covered
47 //~^ ERROR `&[_, _, ..]` not covered
52 //~^ ERROR `&[false, ..]` not covered
57 //~^ ERROR `&[false, _, ..]` not covered
63 //~^ ERROR `&[_, .., false]` not covered
70 //~^ ERROR `&[_, _, .., true]` not covered
77 //~^ ERROR `&[true, _, .., _]` not covered
81 [false, .., false] => {}
84 const CONST: &[bool] = &[true];
86 //~^ ERROR `&[]` and `&[_, _, ..]` not covered
90 //~^ ERROR `&[]` and `&[_, _, ..]` not covered
94 //~^ ERROR `&[]` and `&[_, _, ..]` not covered
99 //~^ ERROR `&[]` and `&[_, _, ..]` not covered
104 //~^ ERROR `&[_, _, ..]` not covered
109 //~^ ERROR `&[false]` not covered
120 const CONST1: &[bool; 1] = &[true];
122 //~^ ERROR `&[false]` not covered