[Bug]: No error when a spread field is used with an open record to construct a closed record

[MaryamZi]

Description

$title, panics at runtime instead.

If there is a contextually expected type, then the type that the inherent type requires for each field provides the contextually expected type for the value-expr in a field; otherwise there is no contextually expected type for the value-expr for fields. If there is a contextually expected type, the contextually expected type for the expression in a spread-field is map<T>, where the T is the smallest type such that the inherent type is a subtype of map<T>. The contextually expected type for a field-name-expr is string.

Steps to Reproduce

type Address record {
    string street;
};

public function main() {
    Address address = {street: "Main Street", "number": 40};
    record {|string street;|} _ = {...address}; // no compilation error
}

error: {ballerina/lang.map}KeyNotFound {"message":"invalid field access: field 'number' not found in record type 'record {| string street; |}'"}
        at sample:main(sample.bal:7)

Affected Version(s)

2201.8.0

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.