Improve `is_lint_level` code#12375

bors merged 1 commit intorust-lang:masterrust-lang/rust-clippy:masterfrom

GuillaumeGomez:improve-codeGuillaumeGomez/rust-clippy:improve-codeCopy head branch name to clipboard