Type Definition rustc_mir::dataflow::BorrowckFlowState

type BorrowckFlowState<'mir, 'tcx> = <BorrowckResults<'mir, 'tcx> as ResultsVisitable<'tcx>>::FlowState;

The transient state of the dataflow analyses used by the borrow checker.