[Bug]: The typeOf API returns a compilation error type for some expressions when attached to return statement

[nipunayf]

Description

When certain expressions, such as query expressions and conditional expressions, are attached to the return statement, the typeOf API returns the compilation error type instead of evaluating the type. However, the expected result is accurately generated for literals and other expressions, such as logical expressions.

function fnTernary(boolean flag) returns boolean {
    return flag ? "True" : false; // Compilation error type
}

function fnQuery() {
    int [] arr = [1,2,3];
    return from var item in arr select item + 1; // // Compilation error type
}

function fnNil(string? val) {
    return val ?: "Hello"; // // Compilation error type
}

function fnCondition(boolean flag) { 
    if (flag) {
        return "True"; // String type
    } 
    return false; // Boolean type
}

function fnBoolean(boolean flag1, boolean flag2) {
    return flag1 || flag2; // Boolean type
}

Steps to Reproduce

Provide the line position between the <START> and <END to the typeOf API of the semantic model

function fnTernary(boolean flag) returns boolean {
    return <START>flag ? "True" : false<END>;
}

Affected Version(s)

Ballerina 2201.8.4 (Swan Lake Update 8)

OS, DB, other environment details and versions

OS: macOS 14.2.1 23C71
JDK: openjdk 17.0.8 2023-07-18

Related area

-> Compilation

Related issue(s) (optional)

No response

Suggested label(s) (optional)

No response

Suggested assignee(s) (optional)

No response

[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.