diff --git a/src/shims/intrinsics.rs b/src/shims/intrinsics.rs index 68f67a1ed9..c44caed34f 100644 --- a/src/shims/intrinsics.rs +++ b/src/shims/intrinsics.rs @@ -37,7 +37,6 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx let (dest, ret) = match ret { None => match intrinsic_name { "miri_start_panic" => return this.handle_miri_start_panic(args, unwind), - "unreachable" => throw_ub!(Unreachable), _ => throw_unsup_format!("unimplemented (diverging) intrinsic: {}", intrinsic_name), }, Some(p) => p,