Enum LoweredExpr 

pub enum LoweredExpr<'db> {
    AtVariable(VarUsage<'db>),
    Tuple {
        exprs: Vec<LoweredExpr<'db>>,
        location: LocationId<'db>,
    },
    FixedSizeArray {
        ty: TypeId<'db>,
        exprs: Vec<LoweredExpr<'db>>,
        location: LocationId<'db>,
    },
    ExternEnum(LoweredExprExternEnum<'db>),
    MemberPath(ExprVarMemberPath<'db>, LocationId<'db>),
    Snapshot {
        expr: Box<LoweredExpr<'db>>,
        location: LocationId<'db>,
    },
}

Representation of the value of a computed expression.

Variants

AtVariable(VarUsage<'db>)

The expression value lies in a variable.

Tuple

The expression value is a tuple.

Fields

exprs: Vec<LoweredExpr<'db>>

location: LocationId<'db>

FixedSizeArray

The expression value is a fixed size array.

Fields

ty: TypeId<'db>

exprs: Vec<LoweredExpr<'db>>

location: LocationId<'db>

ExternEnum(LoweredExprExternEnum<'db>)

The expression value is an enum result from an extern call.

MemberPath(ExprVarMemberPath<'db>, LocationId<'db>)

The expression value resides at a specific member path.

Snapshot

Fields

expr: Box<LoweredExpr<'db>>

location: LocationId<'db>

Implementations

impl<'db> LoweredExpr<'db>

pub fn as_var_usage( self, ctx: &mut LoweringContext<'db, '_>, builder: &mut BlockBuilder<'db>, ) -> LoweringResult<'db, VarUsage<'db>>

Returns a VarUsage corresponding to the lowered expression.

pub fn ty(&self, ctx: &mut LoweringContext<'db, '_>) -> TypeId<'db>

pub fn location(&self) -> LocationId<'db>

Trait Implementations

impl<'db> Clone for LoweredExpr<'db>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'db> Debug for LoweredExpr<'db>

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

Formats the value using the given formatter.