It seems errors (validation failures) reported from rustc_lint::levels::LintLevelsBuilder::push will occur multiple times. Examples are E0453 (not covered by tests) and E0763 (being added in #73300 , unit test reflecting this problem). I'm not sure what's the best way forward.