[−][src]Struct rustc_mir::dataflow::move_paths::MovePathLookup

pub struct MovePathLookup {
    locals: IndexVec<Local, MovePathIndex>,
    projections: FxHashMap<(MovePathIndex, ProjectionElem<AbstractOperand, AbstractType>), MovePathIndex>,
}

Tables mapping from a place to its MovePathIndex.

Fields

locals: IndexVec<Local, MovePathIndex>projections: FxHashMap<(MovePathIndex, ProjectionElem<AbstractOperand, AbstractType>), MovePathIndex>

projections are made from a base-place and a projection elem. The base-place will have a unique MovePathIndex; we use the latter as the index into the outer vector (narrowing subsequent search so that it is solely relative to that base-place). For the remaining lookup, we map the projection elem to the associated MovePathIndex.

Implementations

impl MovePathLookup[src]

pub fn find(&self, place: PlaceRef<'_>) -> LookupResult[src]

pub fn find_local(&self, local: Local) -> MovePathIndex[src]

pub fn iter_locals_enumerated(
    &self
) -> Enumerated<Local, Iter<'_, MovePathIndex>>[src]

An enumerated iterator of locals and their associated MovePathIndexes.

Trait Implementations

impl Debug for MovePathLookup[src]

Auto Trait Implementations

impl RefUnwindSafe for MovePathLookup[src]

impl Send for MovePathLookup[src]

impl Sync for MovePathLookup[src]

impl Unpin for MovePathLookup[src]

impl UnwindSafe for MovePathLookup[src]

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized, [src]

impl<T> Borrow<T> for T where
    T: ?Sized, [src]

impl<T> BorrowMut<T> for T where
    T: ?Sized, [src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, [src]

impl<T, U> TryFrom<U> for T where
    U: Into<T>, [src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, [src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

impl<T> WithConstness for T[src]