Function creusot_contracts::std::intrinsics::mir::UnwindTerminate

pub fn UnwindTerminate(reason: UnwindTerminateReason) -> UnwindActionArg

🔬This is a nightly-only experimental API. (custom_mir)

An unwind action that terminates the execution.

UnwindTerminate can also be used as a terminator.