Skip to content

Fix issue where an empty record literal {} expected to have a non-record type would type check#5729

Merged
cristianoc merged 2 commits into10.1_releasefrom
empty_record
Oct 11, 2022
Merged

Fix issue where an empty record literal {} expected to have a non-record type would type check#5729
cristianoc merged 2 commits into10.1_releasefrom
empty_record

Commits

Commits on Oct 11, 2022