Skip to content

Delete unused rustc_trait_selection errors.#155301

Merged
rust-bors[bot] merged 1 commit intorust-lang:mainfrom
mejrs:dead
Apr 15, 2026
Merged

Delete unused rustc_trait_selection errors.#155301
rust-bors[bot] merged 1 commit intorust-lang:mainfrom
mejrs:dead

Commits

Commits on Apr 14, 2026