Struct rustc_mir::borrow_check::flows::Flows

pub(crate) struct Flows<'b, 'gcx: 'tcx, 'tcx: 'b> {
    borrows: FlowAtLocation<Borrows<'b, 'gcx, 'tcx>>,
    pub inits: FlowAtLocation<MaybeInitializedPlaces<'b, 'gcx, 'tcx>>,
    pub uninits: FlowAtLocation<MaybeUninitializedPlaces<'b, 'gcx, 'tcx>>,
    pub move_outs: FlowAtLocation<MovingOutStatements<'b, 'gcx, 'tcx>>,
    pub ever_inits: FlowAtLocation<EverInitializedPlaces<'b, 'gcx, 'tcx>>,
    pub polonius_output: Option<Rc<Output<RegionVid, BorrowIndex, LocationIndex>>>,
}

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Fields

borrows: FlowAtLocation<Borrows<'b, 'gcx, 'tcx>>

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

inits: FlowAtLocation<MaybeInitializedPlaces<'b, 'gcx, 'tcx>>

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

uninits: FlowAtLocation<MaybeUninitializedPlaces<'b, 'gcx, 'tcx>>

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

move_outs: FlowAtLocation<MovingOutStatements<'b, 'gcx, 'tcx>>

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

ever_inits: FlowAtLocation<EverInitializedPlaces<'b, 'gcx, 'tcx>>

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

polonius_output: Option<Rc<Output<RegionVid, BorrowIndex, LocationIndex>>>

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Polonius Output

Methods

impl<'b, 'gcx, 'tcx> Flows<'b, 'gcx, 'tcx>

pub(crate) fn new(     borrows: FlowAtLocation<Borrows<'b, 'gcx, 'tcx>>,     inits: FlowAtLocation<MaybeInitializedPlaces<'b, 'gcx, 'tcx>>,     uninits: FlowAtLocation<MaybeUninitializedPlaces<'b, 'gcx, 'tcx>>,     move_outs: FlowAtLocation<MovingOutStatements<'b, 'gcx, 'tcx>>,     ever_inits: FlowAtLocation<EverInitializedPlaces<'b, 'gcx, 'tcx>>,     polonius_output: Option<Rc<Output<RegionVid, BorrowIndex, LocationIndex>>> ) -> Self

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

pub(crate) fn borrows_in_scope(     &self,     location: LocationIndex ) -> impl Iterator<Item = BorrowIndex> + '_

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

pub(crate) fn with_outgoing_borrows(     &self,     op: impl FnOnce(Iter<BorrowIndex>) )

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Trait Implementations

impl<'b, 'gcx, 'tcx> FlowsAtLocation for Flows<'b, 'gcx, 'tcx>

fn reset_to_entry_of(&mut self, bb: BasicBlock)

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Reset the state bitvector to represent the entry to block bb.

fn reconstruct_statement_effect(&mut self, location: Location)

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Build gen + kill sets for statement at loc.

fn reconstruct_terminator_effect(&mut self, location: Location)

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Build gen + kill sets for terminator for loc.

fn apply_local_effect(&mut self, location: Location)

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Apply current gen + kill sets to flow_state.

impl<'b, 'gcx, 'tcx> Display for Flows<'b, 'gcx, 'tcx>

fn fmt(&self, fmt: &mut Formatter) -> Result

Formats the value using the given formatter.