Struct IntervalAnalysisResult 

pub struct IntervalAnalysisResult {
    pub types: HashMap<TypeId, RefinedTypeInterval>,
}

Whole-analysis result, keyed for cheap programmatic lookup.

Fields

types: HashMap<TypeId, RefinedTypeInterval>

One entry per refined type the analysis saw, keyed by opaque TypeId.

Implementations

impl IntervalAnalysisResult

pub fn types_analyzed(&self) -> usize

Number of types analyzed.

pub fn two_sided_bounded(&self) -> usize

Types whose invariant yielded a two-sided constant interval (both bounds finite) — the carrier-lowering candidates.

pub fn ops_overflow_free(&self) -> usize

Total ops across all types classified OverflowFree.

pub fn ops_needs_wider(&self) -> usize

Total ops across all types classified NeedsWiderScratch.

pub fn ops_unbounded(&self) -> usize

Total ops across all types classified Unbounded.

pub fn raw_i64_eligible(&self) -> usize

Refined types whose carrier may lower to a raw i64 (RefinedTypeInterval::raw_i64_eligible) — the recognizer’s headline count, surfaced by --explain-passes. This is the “proof the recognizer fires on the right types” metric; nothing in codegen / runtime / proof consumes it.

Trait Implementations

impl Clone for IntervalAnalysisResult

fn clone(&self) -> IntervalAnalysisResult

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IntervalAnalysisResult

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

Formats the value using the given formatter.

impl Default for IntervalAnalysisResult

fn default() -> IntervalAnalysisResult

Returns the “default value” for a type.