Fix wrapping arithmetic triggering false overflow errors in MIR optimization#7

Draft

Copilot wants to merge 3 commits intomasterfrom

copilot/fix-wrapping-arithmetic-bug

Commits on Dec 23, 2025

Initial plan
Copilot
committed
Fix wrapping arithmetic overflow false positives

Copilot
and
Enselic
committed
Address code review feedback

Copilot
and
Enselic
committed