Struct BorrowSet 

pub struct BorrowSet<'tcx> {
    borrows: IndexVec<BorrowIndex, BorrowData<'tcx>>,
    location_map: FxHashMap<Location, SmallVec<[BorrowIndex; 1]>>,
    activation_map: FxHashMap<Location, SmallVec<[BorrowIndex; 1]>>,
    local_map: FxIndexMap<Local, FxIndexSet<BorrowIndex>>,
    locals_state_at_exit: LocalsStateAtExit,
}

Fields

borrows: IndexVec<BorrowIndex, BorrowData<'tcx>>

BorrowData storage.

location_map: FxHashMap<Location, SmallVec<[BorrowIndex; 1]>>

The fundamental map relating bitvector indexes to the borrows in the MIR. Each borrow of a reference is uniquely identified in the MIR by the Location of the assignment statement in which it appears on the right hand side, but for generic Reborrow there may be multiple borrows per location. Thus the location is the map key, and it identifies one or more BorrowIndex values.

FIXME(reborrow): if the Reborrow experiment is rejected, this can be turned back into a FxIndexMap<Location, BorrowData<’tcx> or BorrowIndex>. See PR.

activation_map: FxHashMap<Location, SmallVec<[BorrowIndex; 1]>>

Locations which activate borrows.

local_map: FxIndexMap<Local, FxIndexSet<BorrowIndex>>

Map from local to all the borrows on that local.

locals_state_at_exit: LocalsStateAtExit

Implementations

impl<'tcx> BorrowSet<'tcx>

pub fn build( tcx: TyCtxt<'tcx>, body: &Body<'tcx>, locals_are_invalidated_at_exit: bool, move_data: &MoveData<'tcx>, ) -> Self

pub fn iter(&self) -> impl Iterator<Item = &BorrowData<'tcx>>

Iterate through all BorrowData in the BorrowSet.

pub(crate) fn locals_state_at_exit(&self) -> &LocalsStateAtExit

pub(crate) fn len(&self) -> usize

pub(crate) fn iter_enumerated( &self, ) -> impl Iterator<Item = (BorrowIndex, &BorrowData<'tcx>)>

pub(crate) fn activations_at_location( &self, location: &Location, ) -> &[BorrowIndex]

pub(crate) fn borrows_at_location( &self, location: &Location, ) -> Option<&[BorrowIndex]>

pub(crate) fn borrows_on_local( &self, local: Local, ) -> Option<&IndexSet<BorrowIndex>>

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.

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 176 bytes