[Bug]: cloneWithType returns error for readonly records

[HindujaB]

Description

$subject

Steps to Reproduce

import ballerina/io;

type Foo record {|
    int[] x = getX();
    int[] & readonly y = getY();
|};

isolated function getX() returns int[] {
    return [1];
}

isolated function getY() returns int[] & readonly {
    return [2];
}

public function main() {
    map<anydata> m = {y: <readonly> [3]};
    Foo & readonly n = checkpanic m.cloneWithType();
    io:println(n);
}

The above code returns an error as follows

error: {ballerina/lang.value}ConversionError {"message":"invalid value for record field 'x': expected value of type '(int[] & readonly)', found 'int[]'"}
        at ballerina.lang.value.0:cloneWithType(value.bal:114)
           hinduja.record_std_lib.0:main(temp.bal:25)

Expected output is

{"x":[1],"y":[3]}

The parallel to cloneWithType should behave similarly to creating the value with a constructor at compile-time.

Affected Version(s)

2201.7.2

OS, DB, other environment details and versions

No response

Related area

-> Runtime

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.