Function do_mir_borrowck

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

Perform the actual borrow checking.

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