add ui tests for move expr

Author: TaKO8Ki

tests/ui/move-expr/borrow-only.rs

@@ -0,0 +1,13 @@
+//@ check-pass
+#![allow(incomplete_features)]
+#![feature(move_expr)]
+
+fn main() {
+    let s = vec![1, 2, 3];
+    let c = || {
+        let t = &move(s);
+        println!("{t:?}");
+    };
+
+    c();
+}

tests/ui/move-expr/capture-reference.rs

@@ -0,0 +1,15 @@
+#![allow(incomplete_features)]
+#![feature(move_expr)]
+
+fn main() {
+    let c = {
+        let x = 22;
+        || {
+            let y = move(&x);
+            //~^ ERROR `x` does not live long enough
+            println!("{y:?}");
+        }
+    };
+
+    c();
+}

tests/ui/move-expr/capture-reference.stderr

@@ -0,0 +1,17 @@
+error[E0597]: `x` does not live long enough
+  --> $DIR/capture-reference.rs:8:26
+   |
+LL |     let c = {
+   |         - borrow later captured here by closure
+LL |         let x = 22;
+   |             - binding `x` declared here
+LL |         || {
+LL |             let y = move(&x);
+   |                          ^^ borrowed value does not live long enough
+...
+LL |     };
+   |     - `x` dropped here while still borrowed
+
+error: aborting due to 1 previous error
+
+For more information about this error, try `rustc --explain E0597`.

tests/ui/move-expr/copy-type.rs

@@ -0,0 +1,15 @@
+//@ check-pass
+#![allow(incomplete_features)]
+#![feature(move_expr)]
+
+fn main() {
+    let x = 22;
+    let c = || {
+        let y = move(x);
+        let z = x;
+        assert_eq!(y + z, 44);
+    };
+
+    c();
+    c();
+}

tests/ui/move-expr/double-move.rs

@@ -0,0 +1,13 @@
+#![allow(incomplete_features)]
+#![feature(move_expr)]
+
+fn main() {
+    let x = vec![1, 2, 3];
+    let _c = || {
+        let y = move(x);
+        let z = move(x);
+        //~^ ERROR use of moved value: `x`
+        drop(y);
+        drop(z);
+    };
+}

tests/ui/move-expr/double-move.stderr

@@ -0,0 +1,23 @@
+error[E0382]: use of moved value: `x`
+  --> $DIR/double-move.rs:8:22
+   |
+LL |     let x = vec![1, 2, 3];
+   |         - move occurs because `x` has type `Vec<i32>`, which does not implement the `Copy` trait
+LL |     let _c = || {
+LL |         let y = move(x);
+   |                      - value moved here
+LL |         let z = move(x);
+   |                      ^ value used here after move
+   |
+help: consider cloning the value if the performance cost is acceptable
+   |
+LL |         let y = move(x.clone());
+   |                       ++++++++
+help: borrow this binding in the pattern to avoid moving the value
+   |
+LL |         let y = move(ref x);
+   |                      +++
+
+error: aborting due to 1 previous error
+
+For more information about this error, try `rustc --explain E0382`.

tests/ui/move-expr/move-fnonce.rs

@@ -0,0 +1,14 @@
+#![allow(incomplete_features)]
+#![feature(move_expr)]
+
+fn main() {
+    let s = vec![1, 2, 3];
+    let mut c = || {
+        let t = move(s);
+        println!("{t:?}");
+    };
+
+    c();
+    c();
+    //~^ ERROR use of moved value: `c`
+}

tests/ui/move-expr/move-fnonce.stderr

@@ -0,0 +1,22 @@
+error[E0382]: use of moved value: `c`
+  --> $DIR/move-fnonce.rs:12:5
+   |
+LL |     c();
+   |     --- `c` moved due to this call
+LL |     c();
+   |     ^ value used here after move
+   |
+note: closure cannot be invoked more than once because it moves the variable `__move_expr_0` out of its environment
+  --> $DIR/move-fnonce.rs:7:17
+   |
+LL |         let t = move(s);
+   |                 ^^^^^^^
+note: this value implements `FnOnce`, which causes it to be moved when called
+  --> $DIR/move-fnonce.rs:11:5
+   |
+LL |     c();
+   |     ^
+
+error: aborting due to 1 previous error
+
+For more information about this error, try `rustc --explain E0382`.

tests/ui/move-expr/name-resolution.rs

@@ -0,0 +1,13 @@
+//@ check-pass
+//@ ignore-test (#155050): currently ICEs instead of reporting a name-resolution error
+// FIXME(TaKO8Ki): Remove this ignore once closure-local names in `move(expr)` produce a real
+// diagnostic instead of hitting the current `Res::Err` ICE path.
+#![allow(incomplete_features)]
+#![feature(move_expr)]
+
+fn main() {
+    let _c = || {
+        let x = 3;
+        move(x);
+    };
+}

tests/ui/move-expr/nested-closures.rs

@@ -0,0 +1,15 @@
+//@ check-pass
+#![allow(incomplete_features)]
+#![feature(move_expr)]
+
+fn main() {
+    let x = String::from("hello");
+    let outer = || {
+        let inner = || move(x.clone());
+        let y = inner();
+        assert_eq!(y, "hello");
+        assert_eq!(x, "hello");
+    };
+
+    outer();
+}