[Bug]: Invalid error when using a spread field with a never-typed optional field

[MaryamZi]

Description

$title.

Steps to Reproduce

type Employee record {|
    int id;
    string name;
|};

public function main() {
    record {|
        int id;
        string name;
        never dept?;
    |} rec = {
        name: "Joy",
        id: 1023
    };
    Employee _ = {...rec}; // error: undefined field 'dept' in record 'Employee'

    Employee e = rec; // OK
    Employee _ = {...e}; // OK
}

Affected Version(s)

2201.7.2, 2201.8.0-SNAPSHOT

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

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