Struct rustc_mir::borrow_check::flows::Flows [−][src]
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>
[src]
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
[src]
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> + '_
[src]
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>)
)
[src]
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>
[src]
impl<'b, 'gcx, 'tcx> FlowsAtLocation for Flows<'b, 'gcx, 'tcx>
fn reset_to_entry_of(&mut self, bb: BasicBlock)
[src]
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)
[src]
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
. Read more
fn reconstruct_terminator_effect(&mut self, location: Location)
[src]
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
. Read more
fn apply_local_effect(&mut self, location: Location)
[src]
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
. Read more
impl<'b, 'gcx, 'tcx> Display for Flows<'b, 'gcx, 'tcx>
[src]
impl<'b, 'gcx, 'tcx> Display for Flows<'b, 'gcx, 'tcx>