Function rustc_mir_transform::uninhabited_enum_branching::ensure_otherwise_unreachable

fn ensure_otherwise_unreachable<'tcx>(
    body: &Body<'tcx>,
    targets: &SwitchTargets
) -> Option<BasicBlockData<'tcx>>

Ensures that the otherwise branch leads to an unreachable bb, returning None if so and a new bb to use as the new target if not.