Enum ProjectionElem

pub enum ProjectionElem<V, T> {
    Deref,
    Field(Either<FieldId, TupleFieldId>),
    ClosureField(usize),
    Index(V),
    ConstantIndex {
        offset: u64,
        from_end: bool,
    },
    Subslice {
        from: u64,
        to: u64,
    },
    OpaqueCast(T),
}

Variants

Deref

Field(Either<FieldId, TupleFieldId>)

ClosureField(usize)

Index(V)

ConstantIndex

Fields

offset: u64

from_end: bool

Subslice

Fields

from: u64

to: u64

OpaqueCast(T)

Implementations

impl<V, T> ProjectionElem<V, T>

pub fn projected_ty( &self, base: Ty<Interner>, db: &dyn HirDatabase, closure_field: impl FnOnce(ClosureId<Interner>, &Substitution<Interner>, usize) -> Ty<Interner>, krate: Idx<CrateData>, ) -> Ty<Interner>

Trait Implementations

impl<V, T> Clone for ProjectionElem<V, T>

where V: Clone, T: Clone,

fn clone(&self) -> ProjectionElem<V, T>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<V, T> Debug for ProjectionElem<V, T>

where V: Debug, T: Debug,

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

Formats the value using the given formatter.

impl<V, T> Hash for ProjectionElem<V, T>

where V: Hash, T: Hash,

fn hash<__H>(&self, state: &mut __H)

where __H: Hasher,

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<V, T> PartialEq for ProjectionElem<V, T>

where V: PartialEq, T: PartialEq,

fn eq(&self, other: &ProjectionElem<V, T>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<V, T> Eq for ProjectionElem<V, T>

where V: Eq, T: Eq,

impl<V, T> StructuralPartialEq for ProjectionElem<V, T>