Struct NativeIntCountdownBody 

pub struct NativeIntCountdownBody {
    pub base_arm_literal: i64,
    pub base_arm_body: Spanned<ResolvedExpr>,
    pub wildcard_arm_body: Spanned<ResolvedExpr>,
}

Body decomposition for the IntCountdown-literal-zero native shape. Each field is a slice of the source AST the lowerer extracted while classifying; backends render them directly without re-walking the source.

Fields

base_arm_literal: i64

The literal int that selects the base arm. Always 0 today; future preservation proofs may admit other literals, so the value is carried as data rather than baked into the marker.

base_arm_body: Spanned<ResolvedExpr>

AST for the base arm’s body (match p { 0 -> THIS; _ -> ... }).

wildcard_arm_body: Spanned<ResolvedExpr>

AST for the wildcard arm’s body — the recursive call site.

Trait Implementations

impl Clone for NativeIntCountdownBody

fn clone(&self) -> NativeIntCountdownBody

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for NativeIntCountdownBody

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

Formats the value using the given formatter.