about summary refs log tree commit diff
path: root/src/tools/miri
diff options
context:
space:
mode:
authorThe Miri Conjob Bot <miri@cron.bot>2024-01-11 05:00:32 +0000
committerThe Miri Conjob Bot <miri@cron.bot>2024-01-11 05:00:32 +0000
commit2a5ae9f55964143dc722f32e52d7aeda2c32633f (patch)
tree9a9be3d5c61a45756bd79fc9ac1e5173dbcc41c9 /src/tools/miri
parentb0dc5439197cfe17d398e3da5951d47e0add8ec9 (diff)
parent124fff0777014323be34f0a990c78c5cfe9f40db (diff)
downloadrust-2a5ae9f55964143dc722f32e52d7aeda2c32633f.tar.gz
rust-2a5ae9f55964143dc722f32e52d7aeda2c32633f.zip
Merge from rustc
Diffstat (limited to 'src/tools/miri')
-rw-r--r--src/tools/miri/src/diagnostics.rs8
1 files changed, 3 insertions, 5 deletions
diff --git a/src/tools/miri/src/diagnostics.rs b/src/tools/miri/src/diagnostics.rs
index d3d4490f302..bf3284df596 100644
--- a/src/tools/miri/src/diagnostics.rs
+++ b/src/tools/miri/src/diagnostics.rs
@@ -455,7 +455,7 @@ pub fn report_msg<'tcx>(
     let sess = machine.tcx.sess;
     let level = match diag_level {
         DiagLevel::Error => Level::Error,
-        DiagLevel::Warning => Level::Warning(None),
+        DiagLevel::Warning => Level::Warning,
         DiagLevel::Note => Level::Note,
     };
     let mut err = DiagnosticBuilder::<()>::new(sess.dcx(), level, title);
@@ -499,14 +499,12 @@ pub fn report_msg<'tcx>(
         err.note(if extra_span { "BACKTRACE (of the first span):" } else { "BACKTRACE:" });
     }
 
-    let (mut err, handler) = err.into_diagnostic().unwrap();
-
     // Add backtrace
     for (idx, frame_info) in stacktrace.iter().enumerate() {
         let is_local = machine.is_local(frame_info);
         // No span for non-local frames and the first frame (which is the error site).
         if is_local && idx > 0 {
-            err.eager_subdiagnostic(handler, frame_info.as_note(machine.tcx));
+            err.eager_subdiagnostic(err.dcx, frame_info.as_note(machine.tcx));
         } else {
             let sm = sess.source_map();
             let span = sm.span_to_embeddable_string(frame_info.span);
@@ -514,7 +512,7 @@ pub fn report_msg<'tcx>(
         }
     }
 
-    handler.emit_diagnostic(err);
+    err.emit();
 }
 
 impl<'mir, 'tcx> MiriMachine<'mir, 'tcx> {