Struct AnalysisResult 

pub struct AnalysisResult {
    pub fn_analyses: HashMap<String, FnAnalysis>,
    pub mutual_tco_members: HashSet<String>,
    pub recursive_fns: HashSet<String>,
}

Fields

fn_analyses: HashMap<String, FnAnalysis>

mutual_tco_members: HashSet<String>

Names of fns that participate in a multi-member tail-call SCC (mutual recursion). Backends emit a trampoline + thin wrappers for each member; singleton self-recursive fns go through plain TCO and aren’t in this set.

recursive_fns: HashSet<String>

Names of fns that call themselves directly or transitively. Used by the type checker’s flow analysis, the proof exporters, and the memo-eligibility check.

Trait Implementations

impl Clone for AnalysisResult

fn clone(&self) -> AnalysisResult

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AnalysisResult

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

Formats the value using the given formatter.

impl Default for AnalysisResult

fn default() -> AnalysisResult

Returns the “default value” for a type.