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.