Skip to content

Remove various superfluous lint attributes - #160085

Merged
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
mejrs:bye_lints
Jul 31, 2026
Merged

Remove various superfluous lint attributes#160085
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
mejrs:bye_lints