#54 Declaration and constraint of unconstrained record types not checked

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