We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent c74ffd8 commit 0708b28Copy full SHA for 0708b28
src/tools/miri/src/eval.rs
@@ -458,7 +458,14 @@ pub fn eval_entry<'tcx>(
458
panic::resume_unwind(panic_payload)
459
});
460
// `Ok` can never happen.
461
+ #[cfg(not(bootstrap))]
462
let Err(res) = res;
463
+ #[cfg(bootstrap)]
464
+ let res = match res {
465
+ Err(res) => res,
466
+ // `Ok` can never happen
467
+ Ok(never) => match never {},
468
+ };
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