[Bug]: Required field is not detected with computed-name-field

[KavinduZoysa]

Description

Please check the following code. Inside the select clause, the record should be identified as Ry, and the missing default field y should be identified.

Steps to Reproduce

type Rx record {|
    int i;
    string x;
|};

type Ry record {|
    int j;
    string y;
|};

type R1 record {|
    int i1;
    Rx[] rx;
|};

type R2 record {|
    int i2;
    Ry[] ry;
|};

function baz(R1 r1, R2 r2) returns R2 => {
    ...r2,
    ["ry"]: from var rx in r1.rx
                select {
                    j: rx.i
                    // y: rx.x
                }
};

Affected Version(s)

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

[MaryamZi]

Looks more like a query issue. Doesn't have to have computed keys.

type Foo record {|
    int i;
    string x;
|};

type Bar record {|
    int j;
    string y;
|};

type Baz record {|
    Foo[] fooArr;
|};

function fn(Baz baz) {
    int|Bar[] _ = from var foo in baz.fooArr
        select { // no compilation error
            j: foo.i
            // y: foo.x
        };

    Foo foo = baz.fooArr[0];
    int|Bar[] _ = [ // compilation error as expected
        {
            j: foo.i
            // y: foo.x
        }
    ];
}

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