Enum cairo_lang_lowering::optimizations::return_optimization::ValueInfo

pub enum ValueInfo {
    Var(VarUsage),
    Interchangeable(TypeId),
    StructConstruct {
        ty: TypeId,
        var_infos: Vec<ValueInfo>,
    },
    EnumConstruct {
        var_info: Box<ValueInfo>,
        variant: ConcreteVariant,
    },
}

Information about the value that should be returned from the function.

Variants

Var(VarUsage)

The value is available through the given var usage.

Interchangeable(TypeId)

The can be replaced with other values of the same type.

StructConstruct

Fields

ty: TypeId

The type of the struct.

var_infos: Vec<ValueInfo>

The inputs to the StructConstruct statement.

The value is the result of a StructConstruct statement.

EnumConstruct

Fields

var_info: Box<ValueInfo>

The input to the EnumConstruct.

variant: ConcreteVariant

The constructed variant.

The value is the result of an EnumConstruct statement.

Trait Implementations

impl Clone for ValueInfo

fn clone(&self) -> ValueInfo

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ValueInfo

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

Formats the value using the given formatter.

impl PartialEq for ValueInfo

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

impl StructuralPartialEq for ValueInfo