summaryrefslogtreecommitdiffstats
path: root/tests/ui/rfc-0107-bind-by-move-pattern-guards/rfc-basic-examples.rs
blob: b716fc870e071b3ab41cbe7cda725a771fb4c3c5 (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
// run-pass

struct A { a: Box<i32> }

impl A {
    fn get(&self) -> i32 { *self.a }
}

fn foo(n: i32) -> i32 {
    let x = A { a: Box::new(n) };
    let y = match x {
        A { a: v } if *v == 42 => v,
        _ => Box::new(0),
    };
    *y
}

fn bar(n: i32) -> i32 {
    let x = A { a: Box::new(n) };
    let y = match x {
        A { a: v } if x.get() == 42 => v,
        _ => Box::new(0),
    };
    *y
}

fn baz(n: i32) -> i32 {
    let x = A { a: Box::new(n) };
    let y = match x {
        A { a: v } if *v.clone() == 42 => v,
        _ => Box::new(0),
    };
    *y
}

fn main() {
    assert_eq!(foo(107), 0);
    assert_eq!(foo(42), 42);
    assert_eq!(bar(107), 0);
    assert_eq!(bar(42), 42);
    assert_eq!(baz(107), 0);
    assert_eq!(baz(42), 42);
}