# Function rustc_borrowck::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`.