Struct RegionBlock 

pub struct RegionBlock {
    pub until: bool,
    pub condition: String,
    pub body: Vec<BodyStmt>,
    pub lapse_binding: Option<String>,
    pub lapse_body: Vec<BodyStmt>,
    pub body_span: SourceSpan,
    pub lapse_span: SourceSpan,
    pub span: SourceSpan,
}

DR-0043 Decision 5: a during <cond> { … } on lapse [as x] { … } region (until <cond> is the negated polarity). The region’s steps commit only while the condition holds — checked atomically inside each advancing commit — and the first advancing commit under a broken condition commits the lapse arm instead, exactly once. Statements after the region are the point of no return.

Fields

until: bool

until negates: the region runs while the condition is FALSE and lapses when it becomes true.

condition: String

The condition’s raw expression text (guard grammar; pure queries).

body: Vec<BodyStmt>

lapse_binding: Option<String>

on lapse as <binding>: the synthesized optional progress view.

lapse_body: Vec<BodyStmt>

body_span: SourceSpan

Source extent of the region BODY content (inside its braces), for the compile-path variant splices.

lapse_span: SourceSpan

Source extent of the lapse-arm content (inside its braces).

span: SourceSpan

Trait Implementations

impl Clone for RegionBlock

fn clone(&self) -> RegionBlock

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RegionBlock

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

Formats the value using the given formatter.

impl Eq for RegionBlock

impl PartialEq for RegionBlock

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for RegionBlock