diff --git a/src/driver.rs b/src/driver.rs index 4a080c12e44b..27ff7fa9116e 100644 --- a/src/driver.rs +++ b/src/driver.rs @@ -259,7 +259,6 @@ fn report_clippy_ice(info: &panic::PanicInfo<'_>, bug_report_url: &str) { if !info.payload().is::() { let d = rustc_errors::Diagnostic::new(rustc_errors::Level::Bug, "unexpected panic"); handler.emit_diagnostic(&d); - handler.abort_if_errors_and_should_abort(); } let version_info = rustc_tools_util::get_version_info!();