diff options
| -rw-r--r-- | src/test/ui/pattern/bindings-after-at/borrowck-pat-by-copy-bindings-in-at.rs | 7 |
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; + } + } } |
