1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
|
// 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() {}
|
