Struct Block 

pub struct Block {
    pub statements: Vec<Statement>,
    pub tail: Box<Expr>,
    pub span: Span,
    pub tail_leading_comments: Vec<String>,
    pub implicit_tail: bool,
}

A brace-delimited block of statements ending in a tail expression whose value is the block’s value (spec v0.1 §3.1).

Fields

statements: Vec<Statement>

tail: Box<Expr>

span: Span

tail_leading_comments: Vec<String>

Line comments that appear between the last statement (or the opening brace) and the tail expression. Preserved here because expressions do not carry trivia in v1.1.

implicit_tail: bool

true when the block was written with no explicit tail expression and the parser synthesised a () (unit) tail (v0.146, ADR 0170). The tail is a real ExprKind::UnitLit either way; this flag records that it was implicit so the formatter can omit it (Bynk has no statement terminator, so a printed () would re-attach to the last statement on re-parse — x () → x()). The parser re-derives the implicit unit tail, so omitting it is loss-free.

Implementations

impl Block

pub fn is_synth_unit(&self) -> bool

Whether this block is a synthesised empty unit block — no statements and an implicit () tail (v0.146, ADR 0170). This is exactly the shape the parser inserts for an if with no else branch, so both the checker (gating the else-less form to unit) and the formatter (omitting the synthetic else { () }) recognise it here.

Trait Implementations

impl Clone for Block

fn clone(&self) -> Block

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Block

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

Formats the value using the given formatter.