src/test/ui/borrowck/issue-51348-multi-ref-mut-in-guard.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

// We used to ICE if you had a single match arm with multiple
// candidate patterns with `ref mut` identifiers used in the arm's
// guard.
//
// Also, this test expands on the original bug's example by actually
// trying to double check that we are matching against the right part
// of the input data based on which candidate pattern actually fired.

// run-pass

fn foo(x: &mut Result<(u32, u32), (u32, u32)>) -> u32 {
    match *x {
        Ok((ref mut v, _)) | Err((_, ref mut v)) if *v > 0 => { *v }
        _ => { 0 }
    }
}

fn main() {
    assert_eq!(foo(&mut Ok((3, 4))), 3);
    assert_eq!(foo(&mut Err((3, 4))), 4);
}