Skip to content

rustc_middle: Implement the partial_cmp operation for DefIds#155608

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
petrochenkov:optmodcmp
Apr 30, 2026
Merged

rustc_middle: Implement the partial_cmp operation for DefIds#155608
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
petrochenkov:optmodcmp

rustc_middle: Implement the `partial_cmp` operation for `DefId`s

66202c8
Select commit
Loading
Failed to load commit list.
Sign in for the full log view