Plumb rustc `-Zhint-mostly-unused` flag through as a profile option#15643

Merged

epage merged 3 commits intorust-lang:masterfrom

joshtriplett:profile-hint-mostly-unused

Jun 20, 2025

Commits on Jun 20, 2025

Plumb rustc `-Zhint-mostly-unused` flag through as a profile option
joshtriplett
committed
Test hint-mostly-unused with `check` rather than `build`
joshtriplett
committed
Add table-of-contents link to the hint-mostly-unused section
joshtriplett
committed