1 files changed, 45 insertions, 0 deletions
diff --git a/src/test/ui/pattern/bindings-after-at/borrowck-pat-ref-both-sides.rs b/src/test/ui/pattern/bindings-after-at/borrowck-pat-ref-both-sides.rs
new file mode 100644
index 000000000..df213f688
--- /dev/null
+++ b/src/test/ui/pattern/bindings-after-at/borrowck-pat-ref-both-sides.rs
@@ -0,0 +1,45 @@
+// check-pass
+
+// Test that `ref` patterns may be used on both sides
+// of an `@` pattern according to NLL borrowck.
+
+fn main() {
+    struct U; // Not copy!
+
+    // Promotion:
+    let ref a @ ref b = U;
+    let _: &U = a;
+    let _: &U = b;
+
+    // Prevent promotion:
+    fn u() -> U { U }
+
+    let ref a @ ref b = u();
+    let _: &U = a;
+    let _: &U = b;
+
+    let ref a @ (ref b, [ref c, ref d]) = (u(), [u(), u()]);
+    let _: &(U, [U; 2]) = a;
+    let _: &U = b;
+    let _: &U = c;
+    let _: &U = d;
+
+    fn f1(ref a @ (ref b, [ref c, ref mid @ .., ref d]): (U, [U; 4])) {}
+
+    let a @ (b, [c, d]) = &(u(), [u(), u()]);
+    let _: &(U, [U; 2]) = a;
+    let _: &U = b;
+    let _: &U = c;
+    let _: &U = d;
+
+    let ref a @ &ref b = &u();
+    let _: &&U = a;
+    let _: &U = b;
+
+    match Ok(u()) {
+        ref a @ Ok(ref b) | ref a @ Err(ref b) => {
+            let _: &Result<U, U> = a;
+            let _: &U = b;
+        }
+    }
+}