Struct rustc_mir::borrow_check::nll::facts::AllFacts

struct AllFacts {
    borrow_region: Vec<(RegionVid, BorrowIndex, LocationIndex)>,
    universal_region: Vec<RegionVid>,
    cfg_edge: Vec<(LocationIndex, LocationIndex)>,
    killed: Vec<(BorrowIndex, LocationIndex)>,
    outlives: Vec<(RegionVid, RegionVid, LocationIndex)>,
    region_live_at: Vec<(RegionVid, 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?

The "facts" which are the basis of the NLL borrow analysis.

Fields

borrow_region: Vec<(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?

universal_region: Vec<RegionVid>

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

cfg_edge: Vec<(LocationIndex, 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?

killed: Vec<(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?

outlives: Vec<(RegionVid, RegionVid, 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?

region_live_at: Vec<(RegionVid, 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?

Methods

impl AllFacts

fn write_to_dir(     &self,     dir: impl AsRef<Path>,     location_table: &LocationTable ) -> Result<(), Box<Error>>

🔬 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 Default for AllFacts

fn default() -> AllFacts

Returns the "default value" for a type.