rust/tests/ui/borrowck/or-patterns.rs
2023-01-11 09:32:08 +00:00

63 lines
1.4 KiB
Rust

// 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() {}