unreachable

unreachable is used to denote a point in code that should not be reachable. unreachable is an unconditional trap: in the case where an unreachable is reached and executed, the instruction traps.