#54 Declaration and constraint of unconstrained record types not checked

Open
opened 10 months ago by alexsh3 · 0 comments

Hi,

When constraining an unconstrained record type, the elements of the record type in the declaration are not checked. This means that a record element that is not in the record type can be included in the constraining declaration without an error being shown.

Thanks

Hi, When constraining an unconstrained record type, the elements of the record type in the declaration are not checked. This means that a record element that is not in the record type can be included in the constraining declaration without an error being shown. Thanks
Sign in to join this conversation.
No Label
No Milestone
No assignee
1 Participants
Loading...
Cancel
Save
There is no content yet.