Struct rustc_mir_dataflow::move_paths::MovePathLookup

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

Tables mapping from a place to its MovePathIndex.

Fields

locals: IndexVec<Local, Option<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.

un_derefer: UnDerefer<'tcx>

Implementations

impl<'tcx> MovePathLookup<'tcx>

pub fn find(&self, place: PlaceRef<'tcx>) -> LookupResult

pub fn find_local(&self, local: Local) -> Option<MovePathIndex>

pub fn iter_locals_enumerated( &self, ) -> impl DoubleEndedIterator<Item = (Local, MovePathIndex)> + '_

An enumerated iterator of locals and their associated MovePathIndexes.

Trait Implementations

impl<'tcx> Debug for MovePathLookup<'tcx>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

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: 88 bytes