Struct FnAnalysis 

pub struct FnAnalysis {
    pub allocates: Option<bool>,
    pub thin_kind: Option<ThinKind>,
    pub body_shape: BodyShape,
    pub local_count: Option<u16>,
    pub mutual_tco_member: bool,
    pub recursive: bool,
    pub recursive_call_count: usize,
}

Fields

allocates: Option<bool>

Some(true) = proven to allocate under the supplied AllocPolicy; Some(false) = proven not to; None = no policy was configured.

thin_kind: Option<ThinKind>

body_shape: BodyShape

local_count: Option<u16>

mutual_tco_member: bool

true if this fn participates in a mutual-TCO SCC (not a singleton self-recursive fn — those are plain TCO and don’t need trampoline codegen). Backends use this to gate trampoline emission.

recursive: bool

true if the fn calls itself directly or transitively. Used by the type checker’s flow analysis, the proof exporters, and the memo-eligibility check.

recursive_call_count: usize

Number of recursive call sites in the fn body. 0 for non-recursive fns. Memo eligibility requires >= 2 (single-call recursion is linear and the memo overhead would dominate).

Trait Implementations

impl Clone for FnAnalysis

fn clone(&self) -> FnAnalysis

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FnAnalysis

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

Formats the value using the given formatter.