Improve the generic MIR in the default PartialOrd::le and friends
#137904
+132
−9
PartialOrd::le and friends
#137904