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

2019-12-15 04:12:35 +01:00 · 2019-12-15 04:12:35 +01:00 · 48f2766522
parent 427b1c33e9
commit 48f2766522
1 changed files with 7 additions and 0 deletions
--- 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;
+        }
+    }
 }