Macro crucible_assert_unreachable 

macro_rules! crucible_assert_unreachable {
    () => { ... };
}

Assert that the current code is unreachable. This is similar to the standard unreachable!() macro, but uses crucible_assert! internally.