[Improvement]: Detect usages of check where it used in the context of a type that contains an error

[hasithaa]

Description

This leads to dead code blocks. For example,

int|error val = check getInt();
if val is int {

} else {
 // never reach here. 
}

Even though assigning to a wider type is a valid use case, we need to detect this use case, and help the user to write the correct code.

Describe your problem(s)

No response

Describe your solution(s)

No response

Related area

-> Compilation

Related issue(s) (optional)

No response

Suggested label(s) (optional)

No response

Suggested assignee(s) (optional)

No response