fn candidate_match<'tcx>(body: &Body<'tcx>, switch_bb: BasicBlock) -> bool
Returns the first case target if all targets have an equal number of statements and identical destination.