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

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.