Type Definition rustc_mir::dataflow::framework::visitor::BorrowckResults

type BorrowckResults<'mir, 'tcx> = BorrowckAnalyses<Results<'tcx, Borrows<'mir, 'tcx>>, Results<'tcx, MaybeUninitializedPlaces<'mir, 'tcx>>, Results<'tcx, EverInitializedPlaces<'mir, 'tcx>>>;

The results of the dataflow analyses used by the borrow checker.