tests/ui/borrowck/borrowck-vec-pattern-move-tail.rs

   1 fn main() {
   2     let mut a = [1, 2, 3, 4];
   3     let t = match a {
   4         [1, 2, ref tail @ ..] => tail,
   5         _ => unreachable!()
   6     };
   7     println!("t[0]: {}", t[0]);
   8     a[2] = 0; //~ ERROR cannot assign to `a[_]` because it is borrowed
   9     println!("t[0]: {}", t[0]);
  10     t[0];
  11 }