Function rustc_mir_transform::early_otherwise_branch::verify_candidate_branch

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