[Bug]: Intersection of readonly and record type with defaults doesn't function correctly when it is within a Ballerina package

[chiranSachintha]

Description

$title.

Following program compiles without any error when it is in ballerina package.

type Temp record {|
    any[] initalValues = [10, 20, 30];
|};

function value() {
    // Now results in compile-time error.
    Temp & readonly _ = {};
}

Steps to Reproduce

No response

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

[nipunayf]

Closed via #42524

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

[lochana-chathura]

@nipunayf @chiranSachintha can't see the fix sent to the master?

[MaryamZi]

Changes introduce to master via #42564.