File tree Expand file tree Collapse file tree 1 file changed +1
-6
lines changed Expand file tree Collapse file tree 1 file changed +1
-6
lines changed Original file line number Diff line number Diff line change @@ -434,15 +434,10 @@ pub fn eval_entry<'tcx>(
434
434
// Perform the main execution.
435
435
let res: thread:: Result < InterpResult < ' _ , !> > =
436
436
panic:: catch_unwind ( AssertUnwindSafe ( || ecx. run_threads ( ) ) ) ;
437
- let res = res. unwrap_or_else ( |panic_payload| {
437
+ let Err ( res) = res. unwrap_or_else ( |panic_payload| {
438
438
ecx. handle_ice ( ) ;
439
439
panic:: resume_unwind ( panic_payload)
440
440
} ) ;
441
- let res = match res {
442
- Err ( res) => res,
443
- // `Ok` can never happen
444
- Ok ( never) => match never { } ,
445
- } ;
446
441
447
442
// Machine cleanup. Only do this if all threads have terminated; threads that are still running
448
443
// might cause Stacked Borrows errors (https://github.com/rust-lang/miri/issues/2396).
You can’t perform that action at this time.
0 commit comments