fn verify_candidate_branch<'tcx>( branch: &BasicBlockData<'tcx>, value: u128, place: Place<'tcx>, destination: BasicBlock, need_hoist_discriminant: bool, ) -> bool