PartialOrd: transitivity and duality are required only if the corresponding impls exist#118108
Closed
RalfJung wants to merge 1 commit intorust-lang:masterfrom
Closed
PartialOrd: transitivity and duality are required only if the corresponding impls exist#118108RalfJung wants to merge 1 commit intorust-lang:masterfrom
RalfJung wants to merge 1 commit intorust-lang:masterfrom
