Skip to content

Fix #2141: Enable write-related attributes on positional record constructor parameters - #2351

Open
SteveGuoh wants to merge 1 commit into
JoshClose:masterfrom
SteveGuoh:fix/2141-record-format-attribute
Open

Fix #2141: Enable write-related attributes on positional record constructor parameters#2351
SteveGuoh wants to merge 1 commit into
JoshClose:masterfrom
SteveGuoh:fix/2141-record-format-attribute

Commits

Commits on Aug 4, 2025