about summary refs log tree commit diff
path: root/tests/ui/moves/move-into-dead-array-2.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/moves/move-into-dead-array-2.rs')
-rw-r--r--tests/ui/moves/move-into-dead-array-2.rs15
1 files changed, 15 insertions, 0 deletions
diff --git a/tests/ui/moves/move-into-dead-array-2.rs b/tests/ui/moves/move-into-dead-array-2.rs
new file mode 100644
index 00000000000..9b66ea35f56
--- /dev/null
+++ b/tests/ui/moves/move-into-dead-array-2.rs
@@ -0,0 +1,15 @@
+// Ensure that we cannot move into an uninitialized fixed-size array.
+
+struct D { _x: u8 }
+
+fn d() -> D { D { _x: 0 } }
+
+fn main() {
+    foo([d(), d(), d(), d()], 1);
+    foo([d(), d(), d(), d()], 3);
+}
+
+fn foo(mut a: [D; 4], i: usize) {
+    drop(a);
+    a[i] = d(); //~ ERROR use of moved value: `a`
+}