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
.