Type Alias PlaceElem 

pub type PlaceElem = ProjectionElem<LocalId>;

Aliased Type

pub enum PlaceElem {
    Deref,
    Field(FieldIndex),
    Index(Idx<Local>),
    ConstantIndex {
        offset: u64,
        from_end: bool,
    },
    Subslice {
        from: u64,
        to: u64,
    },
    Downcast(VariantId),
}

Variants

Deref

Field(FieldIndex)

A field (e.g., f in _1.f).

Index(Idx<Local>)

Index into a slice/array.

ConstantIndex

These indices are generated by slice patterns.

Fields

offset: u64

from_end: bool

Subslice

These indices are generated by slice patterns.

Fields

from: u64

to: u64

Downcast(VariantId)

“Downcast” to a variant of an enum or a coroutine.

Trait Implementations

impl<W: WorldExposer> GenericTypeVisitable<W> for PlaceElem

fn generic_visit_with(&self, _: &mut W)