error[E0508]: cannot move out of type `[T]`, a non-copy slice
  --> $DIR/issue-12567.rs:14:11
   |
LL |     match (l1, l2) {
   |           ^^^^^^^^ cannot move out of here
LL |         (&[], &[]) => println!("both empty"),
LL |         (&[], &[hd, ..]) | (&[hd, ..], &[])
   |                 -- data moved here
...
LL |         (&[hd1, ..], &[hd2, ..])
   |                        --- ...and here
   |
note: move occurs because these variables have types that don't implement the `Copy` trait
  --> $DIR/issue-12567.rs:16:17
   |
LL |         (&[], &[hd, ..]) | (&[hd, ..], &[])
   |                 ^^
...
LL |         (&[hd1, ..], &[hd2, ..])
   |                        ^^^

error[E0508]: cannot move out of type `[T]`, a non-copy slice
  --> $DIR/issue-12567.rs:14:11
   |
LL |     match (l1, l2) {
   |           ^^^^^^^^ cannot move out of here
LL |         (&[], &[]) => println!("both empty"),
LL |         (&[], &[hd, ..]) | (&[hd, ..], &[])
   |                 -- data moved here
...
LL |         (&[hd1, ..], &[hd2, ..])
   |            --- ...and here
   |
note: move occurs because these variables have types that don't implement the `Copy` trait
  --> $DIR/issue-12567.rs:16:17
   |
LL |         (&[], &[hd, ..]) | (&[hd, ..], &[])
   |                 ^^
...
LL |         (&[hd1, ..], &[hd2, ..])
   |            ^^^

error: aborting due to 2 previous errors

For more information about this error, try `rustc --explain E0508`.