Function rustc_borrowck::do_mir_borrowck

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

Perform the actual borrow checking.

Use consumer_options: None for the default behavior of returning BorrowCheckResult only. Otherwise, return BodyWithBorrowckFacts according to the given ConsumerOptions.