Some cleanups around diagnostic levels.#120520

bors merged 4 commits into

rust-lang:masterrust-lang/rust:masterfrom

nnethercote:rename-good-pathnnethercote/rust:rename-good-pathCopy head branch name to clipboard