@@ -455,7 +455,7 @@ pub fn report_msg<'tcx>(
455
455
let sess = machine. tcx . sess ;
456
456
let level = match diag_level {
457
457
DiagLevel :: Error => Level :: Error ,
458
- DiagLevel :: Warning => Level :: Warning ( None ) ,
458
+ DiagLevel :: Warning => Level :: Warning ,
459
459
DiagLevel :: Note => Level :: Note ,
460
460
} ;
461
461
let mut err = DiagnosticBuilder :: < ( ) > :: new ( sess. dcx ( ) , level, title) ;
@@ -499,22 +499,20 @@ pub fn report_msg<'tcx>(
499
499
err. note ( if extra_span { "BACKTRACE (of the first span):" } else { "BACKTRACE:" } ) ;
500
500
}
501
501
502
- let ( mut err, handler) = err. into_diagnostic ( ) . unwrap ( ) ;
503
-
504
502
// Add backtrace
505
503
for ( idx, frame_info) in stacktrace. iter ( ) . enumerate ( ) {
506
504
let is_local = machine. is_local ( frame_info) ;
507
505
// No span for non-local frames and the first frame (which is the error site).
508
506
if is_local && idx > 0 {
509
- err. eager_subdiagnostic ( handler , frame_info. as_note ( machine. tcx ) ) ;
507
+ err. eager_subdiagnostic ( err . dcx , frame_info. as_note ( machine. tcx ) ) ;
510
508
} else {
511
509
let sm = sess. source_map ( ) ;
512
510
let span = sm. span_to_embeddable_string ( frame_info. span ) ;
513
511
err. note ( format ! ( "{frame_info} at {span}" ) ) ;
514
512
}
515
513
}
516
514
517
- handler . emit_diagnostic ( err ) ;
515
+ err . emit ( ) ;
518
516
}
519
517
520
518
impl < ' mir , ' tcx > MiriMachine < ' mir , ' tcx > {
0 commit comments