Skip to content

Fold ObjectProp field reads over known constructors (#213)#215

Merged
Unisay merged 1 commit into
mainfrom
issue-213/objectprop-ctor-fold
Jul 9, 2026
Merged

Fold ObjectProp field reads over known constructors (#213)#215
Unisay merged 1 commit into
mainfrom
issue-213/objectprop-ctor-fold

Commits

Commits on Jul 9, 2026