PartialEq, PartialOrd: update and synchronize handling of transitive chains#115386

Merged

bors merged 4 commits intorust-lang:masterfrom RalfJung:partial-eq-chain

Feb 5, 2024

+52-8

Commits on Dec 26, 2023

PartialEq: handle longer transitive chains
RalfJung
committed
PartialOrd: transitivity and duality are required only if the corresponding impls exist
RalfJung
committed
explain what crates should do when adding comparison with foreign types
RalfJung
committed

Commits on Feb 2, 2024

fix typo

RalfJung
and
teor2345
authored