if-else-type-mismatch.rs

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
}

// ferrocene-annotations: fls_exe4zodlwfez
// Type Unification
// ferrocene-annotations: fls_mkut7gut49gi
// If Expressions