From 64d98f8ee037282c35007b64c2649055c56af1db Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Wed, 17 Apr 2024 14:19:03 +0200 Subject: Merging upstream version 1.68.2+dfsg1. Signed-off-by: Daniel Baumann --- src/test/ui/borrowck/or-patterns.rs | 62 ------------------------------------- 1 file changed, 62 deletions(-) delete mode 100644 src/test/ui/borrowck/or-patterns.rs (limited to 'src/test/ui/borrowck/or-patterns.rs') diff --git a/src/test/ui/borrowck/or-patterns.rs b/src/test/ui/borrowck/or-patterns.rs deleted file mode 100644 index aeab3b92e..000000000 --- a/src/test/ui/borrowck/or-patterns.rs +++ /dev/null @@ -1,62 +0,0 @@ -// Test that borrow check considers all choices in an or pattern, even the -// unreachable ones. - -fn or_pattern_moves_all(x: ((String, String),)) { - match x { - ((y, _) | (_, y),) => (), - } - &x.0 .0; - //~^ ERROR borrow of moved value - &x.0 .1; - //~^ ERROR borrow of moved value -} - -fn or_pattern_borrows_all(mut x: ((String, String),)) { - let r = match x { - ((ref y, _) | (_, ref y),) => y, - }; - &mut x.0 .0; - //~^ ERROR cannot borrow - &mut x.0 .1; - //~^ ERROR cannot borrow - drop(r); -} - -fn or_pattern_borrows_all_mut(mut x: ((String, String),)) { - let r = match x { - ((ref mut y, _) | (_, ref mut y),) => y, - }; - &x.0 .0; - //~^ ERROR cannot borrow - &x.0 .1; - //~^ ERROR cannot borrow - drop(r); -} - -fn let_or_pattern_moves_all(x: ((String, String),)) { - let ((y, _) | (_, y),) = x; - &x.0 .0; - //~^ ERROR borrow of moved value - &x.0 .1; - //~^ ERROR borrow of moved value -} - -fn let_or_pattern_borrows_all(mut x: ((String, String),)) { - let ((ref r, _) | (_, ref r),) = x; - &mut x.0 .0; - //~^ ERROR cannot borrow - &mut x.0 .1; - //~^ ERROR cannot borrow - drop(r); -} - -fn let_or_pattern_borrows_all_mut(mut x: ((String, String),)) { - let ((ref mut r, _) | (_, ref mut r),) = x; - &x.0 .0; - //~^ ERROR cannot borrow - &x.0 .1; - //~^ ERROR cannot borrow - drop(r); -} - -fn main() {} -- cgit v1.2.3