Skip to content

rustc_metadata: remove unused private trait impls#145103

Merged
bors merged 1 commit intorust-lang:masterfrom
fee1-dead-contrib:push-plompruwywvk
Aug 9, 2025
Merged

rustc_metadata: remove unused private trait impls#145103
bors merged 1 commit intorust-lang:masterfrom
fee1-dead-contrib:push-plompruwywvk

Commits

Commits on Aug 8, 2025