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

Fields of Expr

scope: Scope

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

expr: ExprId

expression being evaluated in this statement

Let

Fields of Let

remainder_scope: Scope

scope for variables bound in this let; covers this and remaining statements in block

init_scope: Scope

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

pattern: Pat<'tcx>

let <PAT> = ...

if a type is included, it is added as an ascription pattern

initializer: Option<ExprId>

let pat: ty = …

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 be different between compiler versions and platforms. 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