Struct move_ir_types::ast::FieldIdent_

pub struct FieldIdent_ {
    pub struct_name: StructName,
    pub type_actuals: Vec<Type>,
    pub field: Field,
}

A fully-qualified field identifier.

Rather than simply referring to a field ‘f’ with a single identifier and relying on type inference to determine the type of the struct being accessed, this type refers to the field ‘f’ on the explicit struct type ‘S’ – that is, ‘S::f’.

Fields

struct_name: StructName

The name of the struct type on which the field is declared.

type_actuals: Vec<Type>

For generic struct types, the type parameters used to instantiate the struct type (this is an empty vector for non-generic struct types).

field: Field

The name of the field.

Trait Implementations

impl Clone for FieldIdent_

fn clone(&self) -> FieldIdent_

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for FieldIdent_

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

Formats the value using the given formatter.

impl Display for FieldIdent_

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

Formats the value using the given formatter.

impl PartialEq<FieldIdent_> for FieldIdent_

fn eq(&self, other: &FieldIdent_) -> bool

This method tests for self and other values to be equal, and is used by ==.

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

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

impl StructuralPartialEq for FieldIdent_