[Bug]: Not identifying unreachable code when there's a panic error after an infinite loop

[mindula]

Description

Consider the following scenario where the unreachable code diagnostic should be displayed for panic error("").

Steps to Reproduce

function foo(int a) returns int {
   int x = 1;
   while (true) {
      x+=1;
   }
   panic error("");
}

Affected Version(s)

No response

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

[mindula]

Invalid because of ballerina-platform/ballerina-spec#1016

[github-actions]

This issue is NOT closed with a proper Reason/ label. Make sure to add proper reason label before closing. Please add or leave a comment with the proper reason label now.

      - Reason/EngineeringMistake - The issue occurred due to a mistake made in the past.
      - Reason/Regression - The issue has introduced a regression.
      - Reason/MultipleComponentInteraction - Issue occured due to interactions in multiple components.
      - Reason/Complex - Issue occurred due to complex scenario.
      - Reason/Invalid - Issue is invalid.
      - Reason/Other - None of the above cases.