Make unknown/renamed/removed lints passed via command line respect lint levels#115387

bors merged 3 commits intorust-lang:masterrust-lang/rust:masterfrom

weihanglo:merge-check-and-lintweihanglo/rust:merge-check-and-lintCopy head branch name to clipboard