Invert comparison in `uN::checked_sub`#125038

Merged

bors merged 1 commit intorust-lang:masterfrom

ivan-shrimp:checked_sub

May 15, 2024

Commits on May 12, 2024

reverse condition in `uN::checked_sub`
ivan-shrimp
committed