Skip to content

rustc_middle: Optimize DefId comparisons#155608

Open
petrochenkov wants to merge 1 commit intorust-lang:mainfrom
petrochenkov:optmodcmp
Open

rustc_middle: Optimize DefId comparisons#155608
petrochenkov wants to merge 1 commit intorust-lang:mainfrom
petrochenkov:optmodcmp

Commits

Commits on Apr 21, 2026