Skip to content

Improve error for a constructor expecting an inline record#7713

Merged
zth merged 2 commits intomasterfrom
improve-expects-inline-record-error
Jul 25, 2025
Merged

Improve error for a constructor expecting an inline record#7713
zth merged 2 commits intomasterfrom
improve-expects-inline-record-error

Commits

Commits on Jul 24, 2025