We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent c0c6f28 commit 7383401Copy full SHA for 7383401
src/tools/miri/src/eval.rs
@@ -460,12 +460,8 @@ pub fn eval_entry<'tcx>(
460
ecx.handle_ice();
461
panic::resume_unwind(panic_payload)
462
});
463
- let res = match res {
464
- Err(res) => res,
465
- // `Ok` can never happen
466
- #[cfg(bootstrap)]
467
- Ok(never) => match never {},
468
- };
+ // `Ok` can never happen.
+ let Err(res) = res;
469
470
// Machine cleanup. Only do this if all threads have terminated; threads that are still running
471
// might cause Stacked Borrows errors (https://github.com/rust-lang/miri/issues/2396).
0 commit comments