Struct rustc_mir::dataflow::framework::visitor::BorrowckAnalyses

pub struct BorrowckAnalyses<B, U, E> {
    pub borrows: B,
    pub uninits: U,
    pub ever_inits: E,
}

A tuple with named fields that can hold either the results or the transient state of the dataflow analyses used by the borrow checker.

Fields

borrows: B

uninits: U

ever_inits: E

Trait Implementations

impl<B: Debug, U: Debug, E: Debug> Debug for BorrowckAnalyses<B, U, E>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'tcx, B, U, E, D: Direction> ResultsVisitable<'tcx> for BorrowckAnalyses<Results<'tcx, B>, Results<'tcx, U>, Results<'tcx, E>> where
    B: Analysis<'tcx, Direction = D>,
    U: Analysis<'tcx, Direction = D>,
    E: Analysis<'tcx, Direction = D>, 

type Direction = D

type FlowState = BorrowckAnalyses<B::Domain, U::Domain, E::Domain>

fn new_flow_state(&self, body: &Body<'tcx>) -> Self::FlowState

Creates an empty FlowState to hold the transient state for these dataflow results.

fn reset_to_block_entry(&self, state: &mut Self::FlowState, block: BasicBlock)

fn reconstruct_before_statement_effect(
    &self,
    state: &mut Self::FlowState,
    stmt: &Statement<'tcx>,
    loc: Location
)

fn reconstruct_statement_effect(
    &self,
    state: &mut Self::FlowState,
    stmt: &Statement<'tcx>,
    loc: Location
)

fn reconstruct_before_terminator_effect(
    &self,
    state: &mut Self::FlowState,
    term: &Terminator<'tcx>,
    loc: Location
)

fn reconstruct_terminator_effect(
    &self,
    state: &mut Self::FlowState,
    term: &Terminator<'tcx>,
    loc: Location
)