Improve the generic MIR in the default PartialOrd::le
and friends#137904
Merged
bors merged 2 commits intorust-lang:masterfrom Mar 7, 2025
Merged
Improve the generic MIR in the default `PartialOrd::le` and friends#137904bors merged 2 commits intorust-lang:masterfrom
bors merged 2 commits intorust-lang:masterfrom