Kmeakin edited PR #6053 from imul-cancel to main:
imul-cancel
main
;; ineg(x) * ineg(y) == x*y.
cfallin submitted PR review.
cfallin has enabled auto merge for PR #6053.
cfallin merged PR #6053.
Last updated: Jan 10 2026 at 20:04 UTC