Skip to content

[CIR] Record type constraints#1834

Draft
xlauko wants to merge 1 commit intomainfrom
users/xlauko/cir-record-type-constraints
Draft

[CIR] Record type constraints#1834
xlauko wants to merge 1 commit intomainfrom
users/xlauko/cir-record-type-constraints

Commits

Commits on Aug 18, 2025