Macro crucible_assume_unreachable 

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

Assume that the current code is unreachable. This is similar to crucible_assume!(false), but also returns !, so it can be used in positions where a return value is expected.