Skip to content

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

Closed
RalfJung wants to merge 1 commit into
rust-lang:masterfrom
RalfJung:partial-ord
Closed

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

Commits

Commits on Nov 21, 2023