1 files changed, 113 insertions, 0 deletions
diff --git a/src/test/ui/borrowck/borrowck-move-out-from-array-match.stderr b/src/test/ui/borrowck/borrowck-move-out-from-array-match.stderr
new file mode 100644
index 000000000..3249aae8f
--- /dev/null
+++ b/src/test/ui/borrowck/borrowck-move-out-from-array-match.stderr
@@ -0,0 +1,113 @@
+error[E0382]: use of moved value: `a[..]`
+  --> $DIR/borrowck-move-out-from-array-match.rs:13:14
+   |
+LL |         [_, _, _x] => {}
+   |                -- value moved here
+...
+LL |         [.., _y] => {}
+   |              ^^ value used here after move
+   |
+   = note: move occurs because `a[..]` has type `(String, String)`, which does not implement the `Copy` trait
+
+error[E0382]: use of partially moved value: `a[..]`
+  --> $DIR/borrowck-move-out-from-array-match.rs:23:14
+   |
+LL |         [_, _, (_x, _)] => {}
+   |                 -- value partially moved here
+...
+LL |         [.., _y] => {}
+   |              ^^ value used here after partial move
+   |
+   = note: partial move occurs because `a[..].0` has type `String`, which does not implement the `Copy` trait
+
+error[E0382]: use of moved value: `a[..].0`
+  --> $DIR/borrowck-move-out-from-array-match.rs:33:15
+   |
+LL |         [_, _, (_x, _)] => {}
+   |                 -- value moved here
+...
+LL |         [.., (_y, _)] => {}
+   |               ^^ value used here after move
+   |
+   = note: move occurs because `a[..].0` has type `String`, which does not implement the `Copy` trait
+
+error[E0382]: use of partially moved value: `a`
+  --> $DIR/borrowck-move-out-from-array-match.rs:44:11
+   |
+LL |         [_x, _, _] => {}
+   |          -- value partially moved here
+LL |     }
+LL |     match a {
+   |           ^ value used here after partial move
+   |
+   = note: partial move occurs because `a[..]` has type `(String, String)`, which does not implement the `Copy` trait
+
+error[E0382]: use of partially moved value: `a`
+  --> $DIR/borrowck-move-out-from-array-match.rs:55:11
+   |
+LL |         [.., _x] => {}
+   |              -- value partially moved here
+LL |     }
+LL |     match a {
+   |           ^ value used here after partial move
+   |
+   = note: partial move occurs because `a[..]` has type `(String, String)`, which does not implement the `Copy` trait
+
+error[E0382]: use of partially moved value: `a`
+  --> $DIR/borrowck-move-out-from-array-match.rs:66:11
+   |
+LL |         [(_x, _), _, _] => {}
+   |           -- value partially moved here
+LL |     }
+LL |     match a {
+   |           ^ value used here after partial move
+   |
+   = note: partial move occurs because `a[..].0` has type `String`, which does not implement the `Copy` trait
+
+error[E0382]: use of partially moved value: `a`
+  --> $DIR/borrowck-move-out-from-array-match.rs:77:11
+   |
+LL |         [.., (_x, _)] => {}
+   |               -- value partially moved here
+LL |     }
+LL |     match a {
+   |           ^ value used here after partial move
+   |
+   = note: partial move occurs because `a[..].0` has type `String`, which does not implement the `Copy` trait
+
+error[E0382]: use of moved value: `a[..].0`
+  --> $DIR/borrowck-move-out-from-array-match.rs:89:11
+   |
+LL |         [_y @ .., _, _] => {}
+   |          ------- value moved here
+...
+LL |         [(_x, _), _, _] => {}
+   |           ^^ value used here after move
+   |
+   = note: move occurs because `a[..]` has type `(String, String)`, which does not implement the `Copy` trait
+
+error[E0382]: use of moved value: `a[..].0`
+  --> $DIR/borrowck-move-out-from-array-match.rs:99:15
+   |
+LL |         [_, _, _y @ ..] => {}
+   |                ------- value moved here
+...
+LL |         [.., (_x, _)] => {}
+   |               ^^ value used here after move
+   |
+   = note: move occurs because `a[..]` has type `(String, String)`, which does not implement the `Copy` trait
+
+error[E0382]: use of partially moved value: `a`
+  --> $DIR/borrowck-move-out-from-array-match.rs:110:11
+   |
+LL |         [x @ .., _] => {}
+   |          ------ value partially moved here
+LL |     }
+LL |     match a {
+   |           ^ value used here after partial move
+   |
+   = note: partial move occurs because `a[..]` has type `(String, String)`, which does not implement the `Copy` trait
+
+error: aborting due to 10 previous errors
+
+For more information about this error, try `rustc --explain E0382`.