diff options
| author | The Miri Conjob Bot <miri@cron.bot> | 2024-01-11 05:00:32 +0000 |
|---|---|---|
| committer | The Miri Conjob Bot <miri@cron.bot> | 2024-01-11 05:00:32 +0000 |
| commit | 2a5ae9f55964143dc722f32e52d7aeda2c32633f (patch) | |
| tree | 9a9be3d5c61a45756bd79fc9ac1e5173dbcc41c9 /src/tools/miri | |
| parent | b0dc5439197cfe17d398e3da5951d47e0add8ec9 (diff) | |
| parent | 124fff0777014323be34f0a990c78c5cfe9f40db (diff) | |
| download | rust-2a5ae9f55964143dc722f32e52d7aeda2c32633f.tar.gz rust-2a5ae9f55964143dc722f32e52d7aeda2c32633f.zip | |
Merge from rustc
Diffstat (limited to 'src/tools/miri')
| -rw-r--r-- | src/tools/miri/src/diagnostics.rs | 8 |
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> { |
