[Bug]: Issue in type narrow with empty else block

[KavinduZoysa]

Description

function foo() returns int|string {
        int|error? i = 2;
        if i is error {
            return "";
        }
        else {} // Note this

        if i is () {
            return 2;
        }

        return i; // incompatible types: expected '(int|string)', found '(int|error)'
    }

Here we are getting wrong behaviour.

Steps to Reproduce

No response

Affected Version(s)

2201.10.2

OS, DB, other environment details and versions

No response

Related area

-> Compilation

Related issue(s) (optional)

No response

Suggested label(s) (optional)

No response

Suggested assignee(s) (optional)

No response