Skip to content

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

Merged
bors merged 4 commits into
rust-lang:masterfrom
RalfJung:partial-eq-chain
Feb 5, 2024
Merged

PartialEq, PartialOrd: update and synchronize handling of transitive chains#115386
bors merged 4 commits into
rust-lang:masterfrom
RalfJung:partial-eq-chain

fix typo

61d1ebe
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs