src/test/ui/pattern/usefulness/slice-patterns-irrefutable.rs

   1 // check-pass
   2 #![feature(slice_patterns)]
   3
   4 fn main() {
   5     let s: &[bool] = &[true; 0];
   6     let s0: &[bool; 0] = &[];
   7     let s1: &[bool; 1] = &[false; 1];
   8     let s2: &[bool; 2] = &[false; 2];
   9
  10     let [] = s0;
  11     let [_] = s1;
  12     let [_, _] = s2;
  13
  14     let [..] = s;
  15     let [..] = s0;
  16     let [..] = s1;
  17     let [..] = s2;
  18
  19     let [_, ..] = s1;
  20     let [.., _] = s1;
  21     let [_, ..] = s2;
  22     let [.., _] = s2;
  23
  24     let [_, _, ..] = s2;
  25     let [_, .., _] = s2;
  26     let [.., _, _] = s2;
  27 }