//! returns: 0
//! A conditional expression must infer the concrete type from either branch.

fn choose(flag: bool, value: u32) -> u32 {
    return 1 if flag else value;
}

@default fn main() -> i32 {
    if choose(true, 7) <> 1 {
        return 1;
    }
    if choose(false, 7) <> 7 {
        return 2;
    }
    return 0;
}