Enum rustc_middle::thir::StmtKind

pub enum StmtKind<'tcx> {
    Expr {
        scope: Scope,
        expr: ExprId,
    },
    Let {
        remainder_scope: Scope,
        init_scope: Scope,
        pattern: Pat<'tcx>,
        initializer: Option<ExprId>,
        lint_level: LintLevel,
    },
}

Variants

Expr

An expression with a trailing semicolon.

Fields of Expr

scope: Scope

The scope for this statement; may be used as lifetime of temporaries.

expr: ExprId

The expression being evaluated in this statement.

Let

A let binding.

Fields of Let

remainder_scope: Scope

The scope for variables bound in this let; it covers this and all the remaining statements in the block.

init_scope: Scope

The scope for the initialization itself; might be used as lifetime of temporaries.

pattern: Pat<'tcx>

let <PAT> = ...

If a type annotation is included, it is added as an ascription pattern.

initializer: Option<ExprId>

let pat: ty = <INIT>

lint_level: LintLevel

The lint level for this let statement.

Trait Implementations

impl<'tcx> Debug for StmtKind<'tcx>

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

Formats the value using the given formatter.

impl<'tcx, '__ctx> HashStable<StableHashingContext<'__ctx>> for StmtKind<'tcx>

fn hash_stable(
    &self,
    __hcx: &mut StableHashingContext<'__ctx>,
    __hasher: &mut StableHasher
)

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference’s “Type Layout” chapter for details on type layout guarantees.

Size: 56 bytes

Size for each variant:

• Expr: 12 bytes
• Let: 52 bytes