PartialOrd: transitivity and duality are required only if the corresponding impls exist - #118108

PartialOrd: transitivity and duality are required only if the corresponding impls exist#118108

RalfJung wants to merge 1 commit into

rust-lang:masterrust-lang/rust:masterfrom

RalfJung:partial-ordRalfJung/rust:partial-ordCopy head branch name to clipboard