about summary refs log tree commit diff
path: root/tests/ui/binding/expr-match.rs
blob: ce502ae149033f2639e52eb64e4eedbd96e8ce0a (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
//@ run-pass

// Tests for using match as an expression

fn test_basic() {
    let mut rs: bool = match true { true => { true } false => { false } };
    assert!(rs);
    rs = match false { true => { false } false => { true } };
    assert!(rs);
}

fn test_inferrence() {
    let rs = match true { true => { true } false => { false } };
    assert!(rs);
}

fn test_alt_as_alt_head() {
    // Yeah, this is kind of confusing ...

    let rs =
        match match false { true => { true } false => { false } } {
          true => { false }
          false => { true }
        };
    assert!(rs);
}

fn test_alt_as_block_result() {
    let rs =
        match false {
          true => { false }
          false => { match true { true => { true } false => { false } } }
        };
    assert!(rs);
}

pub fn main() {
    test_basic();
    test_inferrence();
    test_alt_as_alt_head();
    test_alt_as_block_result();
}