Generated OAS spec need to have require fields for record which has default value in different package

[lnash94]

Description

Follow the below example :

Steps to Reproduce

This RollingWindow record belongs to a different package packageA

public type RollingWindow record {|
    decimal timeWindow = 60;
    decimal bucketSize = 10;
|};

if we are using it in the service from another package

...
service / on new http:Listener(7080) {
    resource function get Services() returns packageA:RollingWindow[] {
        return [];
    }
}

The generated OAS includes RollingWindow fields as optional fields, but it should be marked as required since we currently cannot map a default value from a different package.

Version

2201.10.0

Environment Details (with versions)

No response