Enum ProjectionKind

pub enum ProjectionKind {
    Deref,
    Field(FieldIdx, VariantIdx),
    Index,
    Subslice,
    OpaqueCast,
    UnwrapUnsafeBinder,
}

Variants

Deref

A dereference of a pointer, reference or Box<T> of the given type.

Field(FieldIdx, VariantIdx)

B.F where B is the base expression and F is the field. The field is identified by which variant it appears in along with a field index. The variant is used for enums.

Index

Some index like B[x], where B is the base expression. We don’t preserve the index x because we won’t need it.

Subslice

A subslice covering a range of values like B[x..y].

OpaqueCast

A conversion from an opaque type to its hidden type so we can do further projections on it.

This is unused if -Znext-solver is enabled.

UnwrapUnsafeBinder

unwrap_binder!(expr)

Trait Implementations

impl Clone for ProjectionKind

fn clone(&self) -> ProjectionKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProjectionKind

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

Formats the value using the given formatter.

impl<'tcx, __D: TyDecoder<'tcx>> Decodable<__D> for ProjectionKind

fn decode(__decoder: &mut __D) -> Self

impl<'tcx, __E: TyEncoder<'tcx>> Encodable<__E> for ProjectionKind

fn encode(&self, __encoder: &mut __E)

impl Hash for ProjectionKind

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

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<'__ctx> HashStable<StableHashingContext<'__ctx>> for ProjectionKind

fn hash_stable( &self, __hcx: &mut StableHashingContext<'__ctx>, __hasher: &mut StableHasher, )

impl PartialEq for ProjectionKind

fn eq(&self, other: &ProjectionKind) -> 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<'tcx> TypeFoldable<TyCtxt<'tcx>> for ProjectionKind

fn try_fold_with<__F: FallibleTypeFolder<TyCtxt<'tcx>>>( self, __folder: &mut __F, ) -> Result<Self, __F::Error>

The entry point for folding. To fold a value t with a folder f call: t.try_fold_with(f).

fn fold_with<__F: TypeFolder<TyCtxt<'tcx>>>(self, __folder: &mut __F) -> Self

The entry point for folding. To fold a value t with a folder f call: t.fold_with(f).

impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for ProjectionKind

fn visit_with<__V: TypeVisitor<TyCtxt<'tcx>>>( &self, __visitor: &mut __V, ) -> __V::Result

The entry point for visiting. To visit a value t with a visitor v call: t.visit_with(v).

impl Copy for ProjectionKind

impl Eq for ProjectionKind

impl StructuralPartialEq for ProjectionKind

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

Size for each variant:

• Deref: 0 bytes
• Field: 8 bytes
• Index: 0 bytes
• Subslice: 0 bytes
• OpaqueCast: 0 bytes
• UnwrapUnsafeBinder: 0 bytes