Function rustc_mir::borrow_check::do_mir_borrowck

fn do_mir_borrowck<'a, 'tcx>(
    infcx: &InferCtxt<'a, 'tcx>, 
    input_body: &Body<'tcx>, 
    input_promoted: &IndexVec<Promoted, Body<'tcx>>
) -> BorrowCheckResult<'tcx>