Allow Clippy to define duplicate extra symbols#143596

Alexendoo wants to merge 1 commit intorust-lang:masterrust-lang/rust:masterfrom

Alexendoo:clippy-allow-duplicate-symbolsAlexendoo/rust:clippy-allow-duplicate-symbolsCopy head branch name to clipboard