fix: flip coerce_never type_mismatch tys

[A4-Tacks]

Example

Before this PR

fn f() {
    if 1 {}
     //^ error: expected i32, found bool
    match () { _ if 1 => (), _ => () }
                  //^ error: expected i32, found bool
}

After this PR

fn f() {
    if 1 {}
     //^ error: expected bool, found i32
    match () { _ if 1 => (), _ => () }
                  //^ error: expected bool, found i32
}