Kmeakin opened PR #6033 from double-ineg to main:
algrebraic.islerewrites0-xtoisub x, but misses an opportunity to further simplify
cfallin submitted PR review.
cfallin has enabled auto merge for PR #6033.
alexcrichton merged PR #6033.
Last updated: Feb 24 2026 at 05:28 UTC