Skip to content

fix: Only treat frozen Numeric defaults as immutable - #160

Merged
jterapin merged 1 commit into
mainfrom
correctness-hygiene
Aug 17, 2026
Merged

fix: Only treat frozen Numeric defaults as immutable#160
jterapin merged 1 commit into
mainfrom
correctness-hygiene

fix: Only treat frozen Numeric defaults as immutable

d172adf
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Analyze (actions)
succeeded Aug 12, 2026 in 42s