Skip to content

Commit a0c8978

Browse files
author
The Miri Conjob Bot
committed
Merge from rustc
2 parents b3f9374 + 931c5ae commit a0c8978

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

src/diagnostics.rs

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -285,7 +285,7 @@ pub fn report_error<'tcx, 'mir>(
285285
) =>
286286
{
287287
ecx.handle_ice(); // print interpreter backtrace
288-
bug!("This validation error should be impossible in Miri: {}", ecx.format_error(e));
288+
bug!("This validation error should be impossible in Miri: {}", format_interp_error(ecx.tcx.dcx(), e));
289289
}
290290
UndefinedBehavior(_) => "Undefined Behavior",
291291
ResourceExhaustion(_) => "resource exhaustion",
@@ -299,7 +299,7 @@ pub fn report_error<'tcx, 'mir>(
299299
) => "post-monomorphization error",
300300
_ => {
301301
ecx.handle_ice(); // print interpreter backtrace
302-
bug!("This error should be impossible in Miri: {}", ecx.format_error(e));
302+
bug!("This error should be impossible in Miri: {}", format_interp_error(ecx.tcx.dcx(), e));
303303
}
304304
};
305305
#[rustfmt::skip]
@@ -365,7 +365,7 @@ pub fn report_error<'tcx, 'mir>(
365365
_ => {}
366366
}
367367

368-
msg.insert(0, ecx.format_error(e));
368+
msg.insert(0, format_interp_error(ecx.tcx.dcx(), e));
369369

370370
report_msg(
371371
DiagLevel::Error,

0 commit comments

Comments
 (0)