src/test/ui/borrowck/borrowck-vec-pattern-tail-element-loan.rs

   1 #![feature(slice_patterns)]
   2
   3 fn a<'a>() -> &'a isize {
   4     let vec = vec![1, 2, 3, 4];
   5     let vec: &[isize] = &vec;
   6     let tail = match vec {
   7         &[_a, ref tail @ ..] => &tail[0],
   8         _ => panic!("foo")
   9     };
  10     tail //~ ERROR cannot return value referencing local variable `vec`
  11 }
  12
  13 fn main() {
  14     let fifth = a();
  15     println!("{}", *fifth);
  16 }