Merge from rustc

rust-lang · Dec 9, 2024 · 569634e · 569634e
2 parents 51b7123 + 79f7dbf
commit 569634e
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/bin/miri.rs b/src/bin/miri.rs
@@ -290,7 +290,8 @@ fn run_compiler(
     let exit_code = rustc_driver::catch_with_exit_code(move || {
         rustc_driver::RunCompiler::new(&args, callbacks)
             .set_using_internal_features(using_internal_features)
-            .run()
+            .run();
+        Ok(())
     });
     std::process::exit(exit_code)
 }