1 files changed, 22 insertions, 0 deletions
diff --git a/src/test/ui/consts/const-blocks/migrate-fail.rs b/src/test/ui/consts/const-blocks/migrate-fail.rs
new file mode 100644
index 000000000..fddbfbb9d
--- /dev/null
+++ b/src/test/ui/consts/const-blocks/migrate-fail.rs
@@ -0,0 +1,22 @@
+#![allow(warnings)]
+
+// Some type that is not copyable.
+struct Bar;
+
+mod non_constants {
+    use Bar;
+
+    fn no_impl_copy_empty_value_multiple_elements() {
+        let x = None;
+        let arr: [Option<Bar>; 2] = [x; 2];
+        //~^ ERROR the trait bound `Bar: Copy` is not satisfied [E0277]
+    }
+
+    fn no_impl_copy_value_multiple_elements() {
+        let x = Some(Bar);
+        let arr: [Option<Bar>; 2] = [x; 2];
+        //~^ ERROR the trait bound `Bar: Copy` is not satisfied [E0277]
+    }
+}
+
+fn main() {}