Rename two lints to comply with our lint naming convention - #7504

Rename two lints to comply with our lint naming convention#7504

bors merged 1 commit into

rust-lang:masterrust-lang/rust-clippy:masterfrom

flip1995:rename-lintsflip1995/rust-clippy:rename-lintsCopy head branch name to clipboard