Function creusot_contracts::std::intrinsics::mir::Unreachable

source ·
pub fn Unreachable() -> BasicBlock
🔬This is a nightly-only experimental API. (custom_mir)