Struct rustc_mir::borrow_check::borrow_set::BorrowSet

pub(crate) struct BorrowSet<'tcx> {
    pub(crate) borrows: IndexVec<BorrowIndex, BorrowData<'tcx>>,
    pub(crate) location_map: FxHashMap<Location, BorrowIndex>,
    pub(crate) activation_map: FxHashMap<Location, Vec<BorrowIndex>>,
    pub(crate) region_map: FxHashMap<Region<'tcx>, FxHashSet<BorrowIndex>>,
    pub(crate) local_map: FxHashMap<Local, FxHashSet<BorrowIndex>>,
    pub(crate) locals_state_at_exit: LocalsStateAtExit,
}

🔬 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: IndexVec<BorrowIndex, BorrowData<'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?

The fundamental map relating bitvector indexes to the borrows in the MIR.

location_map: FxHashMap<Location, 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?

Each borrow is also uniquely identified in the MIR by the Location of the assignment statement in which it appears on the right hand side; we map each such location to the corresponding BorrowIndex.

activation_map: FxHashMap<Location, Vec<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?

Locations which activate borrows. NOTE: A given location may activate more than one borrow in the future when more general two-phase borrow support is introduced, but for now we only need to store one borrow index

region_map: FxHashMap<Region<'tcx>, FxHashSet<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?

Every borrow has a region; this maps each such regions back to its borrow-indexes.

local_map: FxHashMap<Local, FxHashSet<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?

Map from local to all the borrows on that local

locals_state_at_exit: LocalsStateAtExit

🔬 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<'tcx> BorrowSet<'tcx>

pub fn build(     tcx: TyCtxt<'_, '_, 'tcx>,     mir: &Mir<'tcx>,     locals_are_invalidated_at_exit: bool,     move_data: &MoveData<'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?

Important traits for &'a [u8]

impl<'a> Read for &'a [u8]impl<'a> Write for &'a mut [u8]

pub(crate) fn activations_at_location(     &self,     location: Location ) -> &[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<'tcx> Index<BorrowIndex> for BorrowSet<'tcx>

type Output = BorrowData<'tcx>

The returned type after indexing.

fn index(&self, index: BorrowIndex) -> &BorrowData<'tcx>

Performs the indexing (container[index]) operation.