Struct rustc_mir::borrow_check::nll::type_check::liveness::liveness_map::NllLivenessMap

pub(crate) struct NllLivenessMap {
    pub from_local: IndexVec<Local, Option<LiveVar>>,
    pub to_local: IndexVec<LiveVar, Local>,
}

🔬 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?

Map between Local and LiveVar indices: the purpose of this map is to define the subset of local variables for which we need to do a liveness computation. We only need to compute whether a variable X is live if that variable contains some region R in its type where R is not known to outlive a free region (i.e., where R may be valid for just a subset of the fn body).

Fields

from_local: IndexVec<Local, Option<LiveVar>>

🔬 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?

For each local variable, contains Some(i) if liveness is needed for this variable.

to_local: IndexVec<LiveVar, Local>

🔬 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?

For each LiveVar, maps back to the original Local index.

Methods

impl NllLivenessMap

pub(crate) fn compute<'tcx>(     tcx: TyCtxt<'_, '_, 'tcx>,     free_regions: &FxHashSet<RegionVid>,     mir: &Mir<'tcx> ) -> 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 is_empty(&self) -> bool

🔬 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?

True if there are no local variables that need liveness computation.

Trait Implementations

impl LiveVariableMap for NllLivenessMap

fn from_local(&self, local: Local) -> Option<Self::LiveVar>

🔬 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?

type LiveVar = LiveVar

🔬 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?

fn from_live_var(&self, local: Self::LiveVar) -> Local

🔬 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?

fn num_variables(&self) -> usize

🔬 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?