src/test/ui/borrowck/borrowck-slice-pattern-element-loan-rpass.rs

   1 // run-pass
   2 //compile-flags: -Z borrowck=mir
   3
   4 #![feature(slice_patterns)]
   5
   6 fn mut_head_tail<'a, A>(v: &'a mut [A]) -> Option<(&'a mut A, &'a mut [A])> {
   7     match *v {
   8         [ref mut head, ref mut tail @ ..] => {
   9             Some((head, tail))
  10         }
  11         [] => None
  12     }
  13 }
  14
  15 fn main() {
  16     let mut v = [1,2,3,4];
  17     match mut_head_tail(&mut v) {
  18         None => {},
  19         Some((h,t)) => {
  20             *h = 1000;
  21             t.reverse();
  22         }
  23     }
  24 }