Struct Place 

pub struct Place {
    pub base_ty: StoredTy,
    pub base: PlaceBase,
    pub projections: Vec<Projection>,
}

A Place represents how a value is located in memory. This does not always correspond to a syntactic place expression. For example, when processing a pattern, a Place can be used to refer to the sub-value currently being inspected.

Fields

base_ty: StoredTy

The type of the PlaceBase

base: PlaceBase

The “outermost” place that holds this value.

projections: Vec<Projection>

How this place is derived from the base place.

Implementations

impl Place

pub fn deref_tys<'db>(&self) -> impl Iterator<Item = Ty<'db>>

Returns an iterator of the types that have to be dereferenced to access the Place.

The types are in the reverse order that they are applied. So if x: &*const u32 and the Place is **x, then the types returned are *const u32 then &*const u32.

pub fn ty<'db>(&self) -> Ty<'db>

Returns the type of this Place after all projections have been applied.

pub fn ty_before_projection<'db>(&self, projection_index: usize) -> Ty<'db>

Returns the type of this Place immediately before projection_indexth projection is applied.

Trait Implementations

impl Clone for Place

fn clone(&self) -> Place

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Place

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

Formats the value using the given formatter.

impl Hash for Place

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 PartialEq for Place

fn eq(&self, other: &Place) -> 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> TypeFoldable<DbInterner<'db>> for Place

fn try_fold_with<__F: FallibleTypeFolder<DbInterner<'db>>>( 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<DbInterner<'db>>>(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<'db> TypeVisitable<DbInterner<'db>> for Place

fn visit_with<__V: TypeVisitor<DbInterner<'db>>>( &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 Eq for Place

impl StructuralPartialEq for Place