Enum ValueInfo 

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

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

Variants

Var(VarUsage<'db>)

The value is available through the given var usage.

Interchangeable(TypeId<'db>)

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

StructConstruct

The value is the result of a StructConstruct statement.

Fields

ty: TypeId<'db>

The type of the struct.

var_infos: Vec<ValueInfo<'db>>

The inputs to the StructConstruct statement.

EnumConstruct

The value is the result of an EnumConstruct statement.

Fields

var_info: Box<ValueInfo<'db>>

The input to the EnumConstruct.

variant: ConcreteVariant<'db>

The constructed variant.

Trait Implementations

impl<'db> Clone for ValueInfo<'db>

fn clone(&self) -> ValueInfo<'db>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'db> Debug for ValueInfo<'db>

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

Formats the value using the given formatter.

impl<'db> PartialEq for ValueInfo<'db>

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

impl<'db> StructuralPartialEq for ValueInfo<'db>