Optimize jumps in PartialOrd le#83819

Merged

bors merged 1 commit intorust-lang:masterfrom

AngelicosPhosphoros:issue-73338-fix-partial-eq-impl

Apr 5, 2021

Commits on Apr 4, 2021

Optimize PartialOrd le
AngelicosPhosphoros
committed