summaryrefslogtreecommitdiffstats
path: root/tests/ui/borrowck/or-patterns.rs
blob: aeab3b92e9840703371ed766d96f541a56fab01d (plain)
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() {}