moved tests

2 files changed, 28 insertions, 0 deletions

diff --git a/tests/ui/closures/closure-no-copy-mut-env.rs b/tests/ui/closures/closure-no-copy-mut-env.rs
new file mode 100644
index 00000000000..f6530f9a410
--- /dev/null
+++ b/tests/ui/closures/closure-no-copy-mut-env.rs
@@ -0,0 +1,11 @@
+// Check that closures do not implement `Copy` if their environment is not `Copy`.
+
+fn main() {
+    let mut a = 5;
+    let hello = || {
+        a += 1;
+    };
+
+    let b = hello;
+    let c = hello; //~ ERROR use of moved value: `hello` [E0382]
+}
diff --git a/tests/ui/closures/closure-no-copy-mut-env.stderr b/tests/ui/closures/closure-no-copy-mut-env.stderr
new file mode 100644
index 00000000000..60cb1352313
--- /dev/null
+++ b/tests/ui/closures/closure-no-copy-mut-env.stderr
@@ -0,0 +1,17 @@
+error[E0382]: use of moved value: `hello`
+  --> $DIR/not-copy-closure.rs:10:13
+   |
+LL |     let b = hello;
+   |             ----- value moved here
+LL |     let c = hello;
+   |             ^^^^^ value used here after move
+   |
+note: closure cannot be moved more than once as it is not `Copy` due to moving the variable `a` out of its environment
+  --> $DIR/not-copy-closure.rs:6:9
+   |
+LL |         a += 1;
+   |         ^
+
+error: aborting due to 1 previous error
+
+For more information about this error, try `rustc --explain E0382`.