Enum rustc_mir_build::thir::ExprKind

pub enum ExprKind<'thir, 'tcx> {
    Scope {
        region_scope: Scope,
        lint_level: LintLevel,
        value: &'thir Expr<'thir, 'tcx>,
    },
    Box {
        value: &'thir Expr<'thir, 'tcx>,
    },
    If {
        cond: &'thir Expr<'thir, 'tcx>,
        then: &'thir Expr<'thir, 'tcx>,
        else_opt: Option<&'thir Expr<'thir, 'tcx>>,
    },
    Call {
        ty: Ty<'tcx>,
        fun: &'thir Expr<'thir, 'tcx>,
        args: &'thir [Expr<'thir, 'tcx>],
        from_hir_call: bool,
        fn_span: Span,
    },
    Deref {
        arg: &'thir Expr<'thir, 'tcx>,
    },
    Binary {
        op: BinOp,
        lhs: &'thir Expr<'thir, 'tcx>,
        rhs: &'thir Expr<'thir, 'tcx>,
    },
    LogicalOp {
        op: LogicalOp,
        lhs: &'thir Expr<'thir, 'tcx>,
        rhs: &'thir Expr<'thir, 'tcx>,
    },
    Unary {
        op: UnOp,
        arg: &'thir Expr<'thir, 'tcx>,
    },
    Cast {
        source: &'thir Expr<'thir, 'tcx>,
    },
    Use {
        source: &'thir Expr<'thir, 'tcx>,
    },
    NeverToAny {
        source: &'thir Expr<'thir, 'tcx>,
    },
    Pointer {
        cast: PointerCast,
        source: &'thir Expr<'thir, 'tcx>,
    },
    Loop {
        body: &'thir Expr<'thir, 'tcx>,
    },
    Match {
        scrutinee: &'thir Expr<'thir, 'tcx>,
        arms: &'thir [Arm<'thir, 'tcx>],
    },
    Block {
        body: Block<'thir, 'tcx>,
    },
    Assign {
        lhs: &'thir Expr<'thir, 'tcx>,
        rhs: &'thir Expr<'thir, 'tcx>,
    },
    AssignOp {
        op: BinOp,
        lhs: &'thir Expr<'thir, 'tcx>,
        rhs: &'thir Expr<'thir, 'tcx>,
    },
    Field {
        lhs: &'thir Expr<'thir, 'tcx>,
        name: Field,
    },
    Index {
        lhs: &'thir Expr<'thir, 'tcx>,
        index: &'thir Expr<'thir, 'tcx>,
    },
    VarRef {
        id: HirId,
    },
    UpvarRef {
        closure_def_id: DefId,
        var_hir_id: HirId,
    },
    Borrow {
        borrow_kind: BorrowKind,
        arg: &'thir Expr<'thir, 'tcx>,
    },
    AddressOf {
        mutability: Mutability,
        arg: &'thir Expr<'thir, 'tcx>,
    },
    Break {
        label: Scope,
        value: Option<&'thir Expr<'thir, 'tcx>>,
    },
    Continue {
        label: Scope,
    },
    Return {
        value: Option<&'thir Expr<'thir, 'tcx>>,
    },
    ConstBlock {
        value: &'tcx Const<'tcx>,
    },
    Repeat {
        value: &'thir Expr<'thir, 'tcx>,
        count: &'tcx Const<'tcx>,
    },
    Array {
        fields: &'thir [Expr<'thir, 'tcx>],
    },
    Tuple {
        fields: &'thir [Expr<'thir, 'tcx>],
    },
    Adt {
        adt_def: &'tcx AdtDef,
        variant_index: VariantIdx,
        substs: SubstsRef<'tcx>,
        user_ty: Option<Canonical<'tcx, UserType<'tcx>>>,
        fields: &'thir [FieldExpr<'thir, 'tcx>],
        base: Option<FruInfo<'thir, 'tcx>>,
    },
    PlaceTypeAscription {
        source: &'thir Expr<'thir, 'tcx>,
        user_ty: Option<Canonical<'tcx, UserType<'tcx>>>,
    },
    ValueTypeAscription {
        source: &'thir Expr<'thir, 'tcx>,
        user_ty: Option<Canonical<'tcx, UserType<'tcx>>>,
    },
    Closure {
        closure_id: DefId,
        substs: UpvarSubsts<'tcx>,
        upvars: &'thir [Expr<'thir, 'tcx>],
        movability: Option<Movability>,
        fake_reads: Vec<(&'thir Expr<'thir, 'tcx>, FakeReadCause, HirId)>,
    },
    Literal {
        literal: &'tcx Const<'tcx>,
        user_ty: Option<Canonical<'tcx, UserType<'tcx>>>,
        const_id: Option<DefId>,
    },
    StaticRef {
        literal: &'tcx Const<'tcx>,
        def_id: DefId,
    },
    InlineAsm {
        template: &'tcx [InlineAsmTemplatePiece],
        operands: &'thir [InlineAsmOperand<'thir, 'tcx>],
        options: InlineAsmOptions,
        line_spans: &'tcx [Span],
    },
    ThreadLocalRef(DefId),
    LlvmInlineAsm {
        asm: &'tcx LlvmInlineAsmInner,
        outputs: &'thir [Expr<'thir, 'tcx>],
        inputs: &'thir [Expr<'thir, 'tcx>],
    },
    Yield {
        value: &'thir Expr<'thir, 'tcx>,
    },
}

Variants

Scope

Fields of Scope

region_scope: Scopelint_level: LintLevelvalue: &'thir Expr<'thir, 'tcx>

Box

Fields of Box

value: &'thir Expr<'thir, 'tcx>

If

Fields of If

cond: &'thir Expr<'thir, 'tcx>then: &'thir Expr<'thir, 'tcx>else_opt: Option<&'thir Expr<'thir, 'tcx>>

Call

Fields of Call

ty: Ty<'tcx>fun: &'thir Expr<'thir, 'tcx>args: &'thir [Expr<'thir, 'tcx>]from_hir_call: bool

Whether this is from a call in HIR, rather than from an overloaded operator. true for overloaded function call.

fn_span: Span

This Span is the span of the function, without the dot and receiver (e.g. foo(a, b) in x.foo(a, b)

Deref

Fields of Deref

arg: &'thir Expr<'thir, 'tcx>

Binary

Fields of Binary

op: BinOplhs: &'thir Expr<'thir, 'tcx>rhs: &'thir Expr<'thir, 'tcx>

LogicalOp

Fields of LogicalOp

op: LogicalOplhs: &'thir Expr<'thir, 'tcx>rhs: &'thir Expr<'thir, 'tcx>

Unary

Fields of Unary

op: UnOparg: &'thir Expr<'thir, 'tcx>

Cast

Fields of Cast

source: &'thir Expr<'thir, 'tcx>

Use

Fields of Use

source: &'thir Expr<'thir, 'tcx>

NeverToAny

Fields of NeverToAny

source: &'thir Expr<'thir, 'tcx>

Pointer

Fields of Pointer

cast: PointerCastsource: &'thir Expr<'thir, 'tcx>

Loop

Fields of Loop

body: &'thir Expr<'thir, 'tcx>

Match

Fields of Match

scrutinee: &'thir Expr<'thir, 'tcx>arms: &'thir [Arm<'thir, 'tcx>]

Block

Fields of Block

body: Block<'thir, 'tcx>

Assign

Fields of Assign

lhs: &'thir Expr<'thir, 'tcx>rhs: &'thir Expr<'thir, 'tcx>

AssignOp

Fields of AssignOp

op: BinOplhs: &'thir Expr<'thir, 'tcx>rhs: &'thir Expr<'thir, 'tcx>

Field

Fields of Field

lhs: &'thir Expr<'thir, 'tcx>name: Field

Index

Fields of Index

lhs: &'thir Expr<'thir, 'tcx>index: &'thir Expr<'thir, 'tcx>

VarRef

Fields of VarRef

id: HirId

UpvarRef

Used to represent upvars mentioned in a closure/generator

Fields of UpvarRef

closure_def_id: DefId

DefId of the closure/generator

var_hir_id: HirId

HirId of the root variable

Borrow

Fields of Borrow

borrow_kind: BorrowKindarg: &'thir Expr<'thir, 'tcx>

AddressOf

A &raw [const|mut] $place_expr raw borrow resulting in type *[const|mut] T.

Fields of AddressOf

mutability: Mutabilityarg: &'thir Expr<'thir, 'tcx>

Break

Fields of Break

label: Scopevalue: Option<&'thir Expr<'thir, 'tcx>>

Continue

Fields of Continue

label: Scope

Return

Fields of Return

value: Option<&'thir Expr<'thir, 'tcx>>

ConstBlock

Fields of ConstBlock

value: &'tcx Const<'tcx>

Repeat

Fields of Repeat

value: &'thir Expr<'thir, 'tcx>count: &'tcx Const<'tcx>

Array

Fields of Array

fields: &'thir [Expr<'thir, 'tcx>]

Tuple

Fields of Tuple

fields: &'thir [Expr<'thir, 'tcx>]

Adt

Fields of Adt

adt_def: &'tcx AdtDefvariant_index: VariantIdxsubsts: SubstsRef<'tcx>user_ty: Option<Canonical<'tcx, UserType<'tcx>>>

Optional user-given substs: for something like let x = Bar::<T> { ... }.

fields: &'thir [FieldExpr<'thir, 'tcx>]base: Option<FruInfo<'thir, 'tcx>>

PlaceTypeAscription

Fields of PlaceTypeAscription

source: &'thir Expr<'thir, 'tcx>user_ty: Option<Canonical<'tcx, UserType<'tcx>>>

Type that the user gave to this expression

ValueTypeAscription

Fields of ValueTypeAscription

source: &'thir Expr<'thir, 'tcx>user_ty: Option<Canonical<'tcx, UserType<'tcx>>>

Type that the user gave to this expression

Closure

Fields of Closure

closure_id: DefIdsubsts: UpvarSubsts<'tcx>upvars: &'thir [Expr<'thir, 'tcx>]movability: Option<Movability>fake_reads: Vec<(&'thir Expr<'thir, 'tcx>, FakeReadCause, HirId)>

Literal

Fields of Literal

literal: &'tcx Const<'tcx>user_ty: Option<Canonical<'tcx, UserType<'tcx>>>const_id: Option<DefId>

The DefId of the const item this literal was produced from, if this is not a user-written literal value.

StaticRef

A literal containing the address of a static.

This is only distinguished from Literal so that we can register some info for diagnostics.

Fields of StaticRef

literal: &'tcx Const<'tcx>def_id: DefId

InlineAsm

Fields of InlineAsm

template: &'tcx [InlineAsmTemplatePiece]operands: &'thir [InlineAsmOperand<'thir, 'tcx>]options: InlineAsmOptionsline_spans: &'tcx [Span]

ThreadLocalRef(DefId)

An expression taking a reference to a thread local.

LlvmInlineAsm

Fields of LlvmInlineAsm

asm: &'tcx LlvmInlineAsmInneroutputs: &'thir [Expr<'thir, 'tcx>]inputs: &'thir [Expr<'thir, 'tcx>]

Yield

Fields of Yield

value: &'thir Expr<'thir, 'tcx>

Trait Implementations

impl<'thir, 'tcx> Debug for ExprKind<'thir, 'tcx>

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

Formats the value using the given formatter.