Enum ProjectionElem 

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

Variants

Deref

Field(Either<FieldId, TupleFieldId>)

ClosureField(usize)

Index(V)

ConstantIndex

Fields

offset: u64

from_end: bool

Subslice

Fields

from: u64

to: u64

OpaqueCast(Ty<'db>)

Implementations

impl<'db, V> ProjectionElem<'db, V>

where V: PartialEq,

pub fn projected_ty( &self, infcx: &InferCtxt<'db>, env: ParamEnv<'db>, base: Ty<'db>, closure_field: impl FnOnce(InternedClosureId, GenericArgs<'db>, usize) -> Ty<'db>, krate: Crate, ) -> Ty<'db>

Trait Implementations

impl<'db, V> Clone for ProjectionElem<'db, V>

where V: Clone + PartialEq,

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'db, V> Debug for ProjectionElem<'db, V>

where V: Debug + PartialEq,

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

Formats the value using the given formatter.

impl<'db, V> Hash for ProjectionElem<'db, V>

where V: Hash + PartialEq,

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<'db, V> PartialEq for ProjectionElem<'db, V>

where V: PartialEq,

fn eq(&self, other: &ProjectionElem<'db, V>) -> 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<'db, V> Update for ProjectionElem<'db, V>

where V: PartialEq,

unsafe fn maybe_update( old_pointer_: *mut ProjectionElem<'db, V>, new_value_: ProjectionElem<'db, V>, ) -> bool

Returns

impl<'db, V> Eq for ProjectionElem<'db, V>

where V: Eq + PartialEq,

impl<'db, V> StructuralPartialEq for ProjectionElem<'db, V>

where V: PartialEq,