Skip to content

Commit c251f34

Browse files
committed
Refactor unwind from Option to a new enum
1 parent ca40357 commit c251f34

File tree

2 files changed

+2
-2
lines changed

2 files changed

+2
-2
lines changed

src/machine.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -868,7 +868,7 @@ impl<'mir, 'tcx> Machine<'mir, 'tcx> for MiriMachine<'mir, 'tcx> {
868868
fn assert_panic(
869869
ecx: &mut MiriInterpCx<'mir, 'tcx>,
870870
msg: &mir::AssertMessage<'tcx>,
871-
unwind: Option<mir::BasicBlock>,
871+
unwind: mir::UnwindAction,
872872
) -> InterpResult<'tcx> {
873873
ecx.assert_panic(msg, unwind)
874874
}

src/shims/panic.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -189,7 +189,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriInterpCxExt<'mir, 'tcx> {
189189
fn assert_panic(
190190
&mut self,
191191
msg: &mir::AssertMessage<'tcx>,
192-
unwind: Option<mir::BasicBlock>,
192+
unwind: mir::UnwindAction,
193193
) -> InterpResult<'tcx> {
194194
use rustc_middle::mir::AssertKind::*;
195195
let this = self.eval_context_mut();

0 commit comments

Comments
 (0)