Enum charon_lib::ast::expressions::ProjectionElem

pub enum ProjectionElem {
    Deref,
    Field(FieldProjKind, FieldId),
    Index {
        offset: Operand,
        from_end: bool,
        ty: Ty,
    },
    Subslice {
        from: Operand,
        to: Operand,
        from_end: bool,
        ty: Ty,
    },
}

Note that we don’t have the equivalent of “downcasts”. Downcasts are actually necessary, for instance when initializing enumeration values: the value is initially Bottom, and we need a way of knowing the variant. For example: ((_0 as Right).0: T2) = move _1; In MIR, downcasts always happen before field projections: in our internal language, we thus merge downcasts and field projections.

Variants

Deref

Dereference a shared/mutable reference, a box, or a raw pointer.

Field(FieldProjKind, FieldId)

Projection from ADTs (variants, structures). We allow projections to be used as left-values and right-values. We should never have projections to fields of symbolic variants (they should have been expanded before through a match).

Index

MIR imposes that the argument to an index projection be a local variable, meaning that even constant indices into arrays are let-bound as separate variables. We eliminate this variant in a micro-pass.

Fields

offset: Operand

from_end: bool

ty: Ty

Subslice

Take a subslice of a slice or array. If from_end is true this is slice[from..slice.len() - to], otherwise this is slice[from..to]. We eliminate this variant in a micro-pass.

Fields

from: Operand

to: Operand

from_end: bool

ty: Ty

Implementations

impl ProjectionElem

pub fn is_deref(&self) -> bool

pub fn is_field(&self) -> bool

pub fn is_index(&self) -> bool

pub fn is_subslice(&self) -> bool

impl ProjectionElem

pub fn as_deref(&self) -> Option<()>

pub fn as_field(&self) -> Option<(&FieldProjKind, &FieldId)>

pub fn as_index(&self) -> Option<(&Operand, &bool, &Ty)>

pub fn as_subslice(&self) -> Option<(&Operand, &Operand, &bool, &Ty)>

impl ProjectionElem

pub fn as_deref_mut(&mut self) -> Option<()>

pub fn as_field_mut(&mut self) -> Option<(&mut FieldProjKind, &mut FieldId)>

pub fn as_index_mut(&mut self) -> Option<(&mut Operand, &mut bool, &mut Ty)>

pub fn as_subslice_mut( &mut self, ) -> Option<(&mut Operand, &mut Operand, &mut bool, &mut Ty)>

impl ProjectionElem

pub fn to_deref(self) -> Option<()>

pub fn to_field(self) -> Option<(FieldProjKind, FieldId)>

pub fn to_index(self) -> Option<(Operand, bool, Ty)>

pub fn to_subslice(self) -> Option<(Operand, Operand, bool, Ty)>

impl ProjectionElem

pub fn variant_name(&self) -> &'static str

Trait Implementations

impl Clone for ProjectionElem

fn clone(&self) -> ProjectionElem

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ProjectionElem

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ProjectionElem

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Drive for ProjectionElem

fn drive<V: Visitor>(&self, visitor: &mut V)

impl DriveMut for ProjectionElem

fn drive_mut<V: VisitorMut>(&mut self, visitor: &mut V)

impl PartialEq for ProjectionElem

fn eq(&self, other: &ProjectionElem) -> 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 Serialize for ProjectionElem

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for ProjectionElem

impl StructuralPartialEq for ProjectionElem