Clarification on unreachable panic statement

[mindula]

Description:

Consider the below scenario, where there's an unreachable panic error("") statement followed by a variable assignment. Shouldn't we suggest the unreachable code error for the panic statement? Currently, if there's another statement, such as a variable assignment, after the panic statement, we are suggesting the unreachable code error for the variable assignment.

The spec says,

It is a compile error if a statement other than a panic-stmt is not reachable.

Is there a reason for not suggesting the unreachable code error for panic statements?

Suggested Labels:

Code sample that shows issue:

function test() returns error? {
    from var item in 1 ... 5
    where true
    do {
        if true {
            return;
        }
        panic error("Panic!");
        int _ = 2;
    };
}

Related Issues: ballerina-platform/ballerina-lang#42105