From 698f8c2f01ea549d77d7dc3338a12e04c11057b9 Mon Sep 17 00:00:00 2001
From: Daniel Baumann <daniel.baumann@progress-linux.org>
Date: Wed, 17 Apr 2024 14:02:58 +0200
Subject: Adding upstream version 1.64.0+dfsg1.

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
---
 src/test/ui/moves/moves-based-on-type-exprs.rs | 93 ++++++++++++++++++++++++++
 1 file changed, 93 insertions(+)
 create mode 100644 src/test/ui/moves/moves-based-on-type-exprs.rs

(limited to 'src/test/ui/moves/moves-based-on-type-exprs.rs')

diff --git a/src/test/ui/moves/moves-based-on-type-exprs.rs b/src/test/ui/moves/moves-based-on-type-exprs.rs
new file mode 100644
index 000000000..4a52d8d32
--- /dev/null
+++ b/src/test/ui/moves/moves-based-on-type-exprs.rs
@@ -0,0 +1,93 @@
+// Tests that references to move-by-default values trigger moves when
+// they occur as part of various kinds of expressions.
+
+
+struct Foo<A> { f: A }
+fn guard(_s: String) -> bool {panic!()}
+fn touch<A>(_a: &A) {}
+
+fn f10() {
+    let x = "hi".to_string();
+    let _y = Foo { f:x };
+    touch(&x); //~ ERROR borrow of moved value: `x`
+}
+
+fn f20() {
+    let x = "hi".to_string();
+    let _y = (x, 3);
+    touch(&x); //~ ERROR borrow of moved value: `x`
+}
+
+fn f21() {
+    let x = vec![1, 2, 3];
+    let _y = (x[0], 3);
+    touch(&x);
+}
+
+fn f30(cond: bool) {
+    let x = "hi".to_string();
+    let y = "ho".to_string();
+    let _y = if cond {
+        x
+    } else {
+        y
+    };
+    touch(&x); //~ ERROR borrow of moved value: `x`
+    touch(&y); //~ ERROR borrow of moved value: `y`
+}
+
+fn f40(cond: bool) {
+    let x = "hi".to_string();
+    let y = "ho".to_string();
+    let _y = match cond {
+        true => x,
+        false => y
+    };
+    touch(&x); //~ ERROR borrow of moved value: `x`
+    touch(&y); //~ ERROR borrow of moved value: `y`
+}
+
+fn f50(cond: bool) {
+    let x = "hi".to_string();
+    let y = "ho".to_string();
+    let _y = match cond {
+        _ if guard(x) => 10,
+        true => 10,
+        false => 20,
+    };
+    touch(&x); //~ ERROR borrow of moved value: `x`
+    touch(&y);
+}
+
+fn f70() {
+    let x = "hi".to_string();
+    let _y = [x];
+    touch(&x); //~ ERROR borrow of moved value: `x`
+}
+
+fn f80() {
+    let x = "hi".to_string();
+    let _y = vec![x];
+    touch(&x); //~ ERROR borrow of moved value: `x`
+}
+
+fn f100() {
+    let x = vec!["hi".to_string()];
+    let _y = x.into_iter().next().unwrap();
+    touch(&x); //~ ERROR borrow of moved value: `x`
+}
+
+fn f110() {
+    let x = vec!["hi".to_string()];
+    let _y = [x.into_iter().next().unwrap(); 1];
+    touch(&x); //~ ERROR borrow of moved value: `x`
+}
+
+fn f120() {
+    let mut x = vec!["hi".to_string(), "ho".to_string()];
+    x.swap(0, 1);
+    touch(&x[0]);
+    touch(&x[1]);
+}
+
+fn main() {}
-- 
cgit v1.2.3