Function do_mir_borrowck

pub(crate) fn do_mir_borrowck<'tcx>(
    root_cx: &mut BorrowCheckRootCtxt<'tcx>,
    def: LocalDefId,
    consumer_options: Option<ConsumerOptions>,
) -> (PropagatedBorrowCheckResults<'tcx>, Option<Box<BodyWithBorrowckFacts<'tcx>>>)

Perform the actual borrow checking.

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

For nested bodies this should only be called through root_cx.get_or_insert_nested.