Function rustc_mir_transform::unreachable_prop::remove_successors

fn remove_successors<'tcx, F>(
    terminator_kind: &TerminatorKind<'tcx>, 
    predicate: F
) -> Option<TerminatorKind<'tcx>> where
    F: Fn(BasicBlock) -> bool,