Enum PureStmt 

pub enum PureStmt {
    Local {
        pattern: PurePattern,
        ty: Option<PureType>,
        init: Option<PureExpr>,
        else_branch: Option<Box<PureExpr>>,
    },
    Semi(PureExpr),
    Expr(PureExpr),
    Item(Box<PureItem>),
    Verbatim(String),
}

A statement.

Variants

Local

Local variable: let x = 1; or let Some(x) = opt else { ... }; (let-else).

Fields

pattern: PurePattern

Binding pattern (LHS of let).

ty: Option<PureType>

Optional explicit type annotation.

init: Option<PureExpr>

Optional initializer expression.

else_branch: Option<Box<PureExpr>>

Optional diverging else-block for let-else (else { <block> }).

Corresponds to syn::LocalInit::diverge. Must be present when the pattern is refutable; losing this field causes E0005 at compile time.

Semi(PureExpr)

Expression with semicolon.

Expr(PureExpr)

Expression without semicolon (tail expression).

Item(Box<PureItem>)

Item statement (function inside function, etc.).

Verbatim(String)

Verbatim raw bytes that must survive PureFile::to_source exactly as authored. Same staging mechanism as PureExpr::Verbatim but at the statement level: lowered to a unique sentinel __ryo_verbatim_stmt_<N>; expression-statement stub, then the post-prettyplease splice step replaces the entire line containing that identifier with the raw bytes (matching the item-level splice semantics, because a Stmt occupies its own line in prettyplease output). Used for raw let x = ...;, macro invocation stmts (tracing::info!(...);), and other shapes where the entire stmt — not just the contained expr — must carry user trivia (B-3-cont).

Implementations

impl PureStmt

pub fn get_expr(&self) -> Option<&PureExpr>

Get the expression contained in this statement.

Returns Some for Local (init expr), Semi, and Expr variants. Returns None for Item or if Local has no initializer.

pub fn get_expr_mut(&mut self) -> Option<&mut PureExpr>

Get mutable expression contained in this statement.

pub fn has_expr(&self) -> bool

Check if this statement contains an expression.

Trait Implementations

impl Clone for PureStmt

fn clone(&self) -> PureStmt

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PureStmt

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

Formats the value using the given formatter.

impl Eq for PureStmt

impl PartialEq for PureStmt

fn eq(&self, other: &PureStmt) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for PureStmt

impl ToSyn for PureStmt

type Output = Stmt

syn output type produced from self.

fn to_syn(&self) -> Result<Stmt, ToSynError>

Convert self back into its syn representation.