summaryrefslogtreecommitdiffstats
path: root/src/test/ui/expr/if/if-else-type-mismatch.rs
blob: 1a0a36df2ad63f1746b349ec456c3349f7db7ae8 (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
fn main() {
    let _ = if true {
        1i32
    } else {
        2u32
    };
    //~^^ ERROR `if` and `else` have incompatible types
    let _ = if true { 42i32 } else { 42u32 };
    //~^ ERROR `if` and `else` have incompatible types
    let _ = if true {
        3u32;
    } else {
        4u32
    };
    //~^^ ERROR `if` and `else` have incompatible types
    let _ = if true {
        5u32
    } else {
        6u32;
    };
    //~^^ ERROR `if` and `else` have incompatible types
    let _ = if true {
        7i32;
    } else {
        8u32
    };
    //~^^ ERROR `if` and `else` have incompatible types
    let _ = if true {
        9i32
    } else {
        10u32;
    };
    //~^^ ERROR `if` and `else` have incompatible types
    let _ = if true {

    } else {
        11u32
    };
    //~^^ ERROR `if` and `else` have incompatible types
    let _ = if true {
        12i32
    } else {

    };
    //~^^^ ERROR `if` and `else` have incompatible types
}