Function rustc_borrowck::do_mir_borrowck

pub(crate) fn do_mir_borrowck<'tcx>(
    infcx: &InferCtxt<'tcx>,
    input_body: &Body<'tcx>,
    input_promoted: &IndexVec<Promoted, Body<'tcx>>,
    return_body_with_facts: bool
) -> (BorrowCheckResult<'tcx>, Option<Box<BodyWithBorrowckFacts<'tcx>>>)

Perform the actual borrow checking.

If return_body_with_facts is true, then return the body with non-erased region ids on which the borrow checking was performed together with Polonius facts.