Struct RecursionOutcome 

pub struct RecursionOutcome {
    pub limit_hit: bool,
    pub truncated_bodies: usize,
}

Outcome of a bounded re-lowering walk: whether the depth cap was hit (so the caller can emit a typed degradation) and how many distinct nested bodies were truncated.

Fields

limit_hit: bool

true iff at least one nested body was abandoned because the depth cap was reached before it provably shrank.

truncated_bodies: usize

Count of nested bodies degraded at the cap. Useful for the completeness report / diagnostic wording.

Implementations

impl RecursionOutcome

pub fn absorb(&mut self, other: RecursionOutcome)

Fold a child walk’s outcome into this one.

pub fn note_truncated(&mut self)

Record that a single nested body was abandoned at the cap.

Trait Implementations

impl Clone for RecursionOutcome

fn clone(&self) -> RecursionOutcome

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for RecursionOutcome

impl Debug for RecursionOutcome

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

Formats the value using the given formatter.

impl Default for RecursionOutcome

fn default() -> RecursionOutcome

Returns the “default value” for a type.

impl Eq for RecursionOutcome

impl PartialEq for RecursionOutcome

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for RecursionOutcome