`RecordType` updates#2590

Merged

ChristianGruen merged 3 commits intoBaseXdb:mainfrom

GuntherRademacher:record-type

Feb 9, 2026

Commits on Feb 6, 2026

prevent "map instance of record" from success without field checking
GuntherRademacher
committed
implement intersection of map and record
GuntherRademacher
committed
remove "extensible" flag for records, drop excess fields in coercion
GuntherRademacher
committed