enhance borrowck-pat-by-copy-bindings-in-at

1 files changed, 7 insertions, 0 deletions

diff --git a/src/test/ui/pattern/bindings-after-at/borrowck-pat-by-copy-bindings-in-at.rs b/src/test/ui/pattern/bindings-after-at/borrowck-pat-by-copy-bindings-in-at.rs
index f1dc5dbd12a..f88286916bc 100644
--- a/src/test/ui/pattern/bindings-after-at/borrowck-pat-by-copy-bindings-in-at.rs
+++ b/src/test/ui/pattern/bindings-after-at/borrowck-pat-by-copy-bindings-in-at.rs
@@ -43,4 +43,11 @@ fn main() {
             drop(a);
         }
     }
+
+    match Ok(mk_c()) {
+        Ok(ref a @ b) | Err(b @ ref a) => {
+            let _: &C = a;
+            let _: C = b;
+        }
+    }
 }