rustc_borrowck

Function do_mir_borrowck

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

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.