Warning for if-else expressions with differing presence of trailing expressions

[thinker227]

Add a warning for code like this

let x = if a {
    b; // warning: else branch has a trailing expression while if branch doesn't
} else {
    c
};