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

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