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>
---
 ...default-binding-modes-both-sides-independent.rs | 48 ++++++++++++++++++++++
 1 file changed, 48 insertions(+)
 create mode 100644 src/test/ui/pattern/bindings-after-at/default-binding-modes-both-sides-independent.rs

(limited to 'src/test/ui/pattern/bindings-after-at/default-binding-modes-both-sides-independent.rs')

diff --git a/src/test/ui/pattern/bindings-after-at/default-binding-modes-both-sides-independent.rs b/src/test/ui/pattern/bindings-after-at/default-binding-modes-both-sides-independent.rs
new file mode 100644
index 000000000..dfd4d0285
--- /dev/null
+++ b/src/test/ui/pattern/bindings-after-at/default-binding-modes-both-sides-independent.rs
@@ -0,0 +1,48 @@
+// Ensures the independence of each side in `binding @ subpat`
+// determine their binding modes independently of each other.
+//
+// That is, `binding` does not influence `subpat`.
+// This is important because we might want to allow `p1 @ p2`,
+// where both `p1` and `p2` are syntactically unrestricted patterns.
+// If `binding` is allowed to influence `subpat`,
+// this would create problems for the generalization aforementioned.
+
+
+fn main() {
+    struct NotCopy;
+
+    fn f1(a @ b: &NotCopy) { // OK
+        let _: &NotCopy = a;
+    }
+    fn f2(ref a @ b: &NotCopy) {
+        let _: &&NotCopy = a; // Ok
+    }
+
+    let a @ b = &NotCopy; // OK
+    let _: &NotCopy = a;
+    let ref a @ b = &NotCopy; // OK
+    let _: &&NotCopy = a;
+
+    let ref a @ b = NotCopy; //~ ERROR cannot move out of value because it is borrowed
+    let _a: &NotCopy = a;
+    let _b: NotCopy = b;
+    let ref mut a @ b = NotCopy; //~ ERROR cannot move out of value because it is borrowed
+    //~^ ERROR borrow of moved value
+    let _a: &NotCopy = a;
+    let _b: NotCopy = b;
+    match Ok(NotCopy) {
+        Ok(ref a @ b) | Err(b @ ref a) => {
+            //~^ ERROR cannot move out of value because it is borrowed
+            //~| ERROR borrow of moved value
+            let _a: &NotCopy = a;
+            let _b: NotCopy = b;
+        }
+    }
+    match NotCopy {
+        ref a @ b => {
+            //~^ ERROR cannot move out of value because it is borrowed
+            let _a: &NotCopy = a;
+            let _b: NotCopy = b;
+        }
+    }
+}
-- 
cgit v1.2.3