Enum HirExpr 

pub enum HirExpr {
    Variable(HirVariable),
    Binary {
        lhs: HirExprId,
        op: BinaryOp,
        rhs: HirExprId,
    },
    Assign {
        lhs: HirExprId,
        rhs: HirExprId,
        mode: AssignMode,
    },
    Unary {
        operand: HirExprId,
        mode: UnaryMode,
        op: String,
    },
    Call {
        args: Vec<HirExprId>,
        ast_kind: String,
    },
    Opaque {
        ast_kind: String,
    },
}

One expression node in the HIR body graph.

Every variant that has child expressions carries explicit HirExprId references — there are no flat shells.

Variants

Variable(HirVariable)

Variable read or write-place reference.

Binary

Binary expression: lhs OP rhs, both children are explicit IDs.

Fields

lhs: HirExprId

Left-hand operand.

op: BinaryOp

Operator.

rhs: HirExprId

Right-hand operand.

Assign

Assignment expression: lhs = rhs, both sides are explicit IDs.

For my $x = …, the lhs is a Variable node with access: Write representing the declared place, and rhs is the initializer.

Fields

lhs: HirExprId

Assignment target (place / lvalue).

rhs: HirExprId

Value being assigned.

mode: AssignMode

Assignment mode.

Unary

Unary expression: OP operand.

Fields

operand: HirExprId

Operand.

mode: UnaryMode

How the operator accesses the operand.

op: String

Operator text, for diagnostics.

Call

Function/method call expression (first-pass model).

Arguments that are individually lowerable carry explicit IDs; everything else is Opaque.

Fields

args: Vec<HirExprId>

Argument expressions in source order.

ast_kind: String

The AST node kind name, for diagnostics.

Opaque

Opaque expression — used when the AST shape is not yet modeled.

Fields

ast_kind: String

The AST node kind name for diagnostics.

Trait Implementations

impl Clone for HirExpr

fn clone(&self) -> HirExpr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for HirExpr

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

Formats the value using the given formatter.

impl Eq for HirExpr

impl PartialEq for HirExpr

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