Enum rustc_middle::thir::StmtKind

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

Variants

Expr

Fields

scope: Scope

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

expr: ExprId

The expression being evaluated in this statement.

An expression with a trailing semicolon.

Let

Fields

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: Box<Pat<'tcx>>

let <PAT> = ...

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

initializer: Option<ExprId>

let pat: ty = <INIT>

else_block: Option<BlockId>

`let pat: ty = else { }

lint_level: LintLevel

The lint level for this let statement.

A let binding.

Trait Implementations

impl<'tcx> Clone for StmtKind<'tcx>

fn clone(&self) -> StmtKind<'tcx>

Returns a copy of the value.

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

Performs copy-assignment from source.

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: 40 bytes

Size for each variant:

• Expr: 12 bytes
• Let: 40 bytes