Struct cairo_lang_lowering::objects::Variable

pub struct Variable {
    pub droppable: InferenceResult<ImplId>,
    pub duplicatable: InferenceResult<ImplId>,
    pub destruct_impl: InferenceResult<ImplId>,
    pub ty: TypeId,
    pub location: StableLocationOption,
}

Lowered variable representation.

Fields

droppable: InferenceResult<ImplId>

Can the type be (trivially) dropped.

duplicatable: InferenceResult<ImplId>

Can the type be (trivially) duplicated.

destruct_impl: InferenceResult<ImplId>

A Destruct impl for the type, if found.

ty: TypeId

Semantic type of the variable.

location: StableLocationOption

Location of the variable.

Trait Implementations

impl Clone for Variable

fn clone(&self) -> Variable

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Variable

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

Formats the value using the given formatter.

impl PartialEq<Variable> for Variable

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

impl StructuralEq for Variable

impl StructuralPartialEq for Variable