File tree Expand file tree Collapse file tree 2 files changed +10
-4
lines changed Expand file tree Collapse file tree 2 files changed +10
-4
lines changed Original file line number Diff line number Diff line change 1
- b5c46dc5426038a49c95398bce30eeb20ec421e2
1
+ 0cbef48150e1fab161b5fd147b57ceb3f9272a52
Original file line number Diff line number Diff line change @@ -285,7 +285,10 @@ pub fn report_error<'tcx, 'mir>(
285
285
) =>
286
286
{
287
287
ecx. handle_ice ( ) ; // print interpreter backtrace
288
- bug ! ( "This validation error should be impossible in Miri: {}" , ecx. format_error( e) ) ;
288
+ bug ! (
289
+ "This validation error should be impossible in Miri: {}" ,
290
+ format_interp_error( ecx. tcx. dcx( ) , e)
291
+ ) ;
289
292
}
290
293
UndefinedBehavior ( _) => "Undefined Behavior" ,
291
294
ResourceExhaustion ( _) => "resource exhaustion" ,
@@ -299,7 +302,10 @@ pub fn report_error<'tcx, 'mir>(
299
302
) => "post-monomorphization error" ,
300
303
_ => {
301
304
ecx. handle_ice ( ) ; // print interpreter backtrace
302
- bug ! ( "This error should be impossible in Miri: {}" , ecx. format_error( e) ) ;
305
+ bug ! (
306
+ "This error should be impossible in Miri: {}" ,
307
+ format_interp_error( ecx. tcx. dcx( ) , e)
308
+ ) ;
303
309
}
304
310
} ;
305
311
#[ rustfmt:: skip]
@@ -365,7 +371,7 @@ pub fn report_error<'tcx, 'mir>(
365
371
_ => { }
366
372
}
367
373
368
- msg. insert ( 0 , ecx. format_error ( e) ) ;
374
+ msg. insert ( 0 , format_interp_error ( ecx. tcx . dcx ( ) , e) ) ;
369
375
370
376
report_msg (
371
377
DiagLevel :: Error ,
You can’t perform that action at this time.
0 commit comments