Struct ClosureInfo 

pub struct ClosureInfo {
    pub free_vars: Vec<LcnfVarId>,
    pub captured_types: Vec<LcnfType>,
    pub arity: usize,
    pub is_escaping: bool,
    pub has_side_effects: bool,
    pub original_name: Option<String>,
}

Information about a closure discovered during analysis.

Fields

free_vars: Vec<LcnfVarId>

Free variables captured by the closure.

captured_types: Vec<LcnfType>

Types of the captured variables.

arity: usize

Arity (number of explicit parameters).

is_escaping: bool

Whether the closure escapes its defining scope.

has_side_effects: bool

Whether the closure body has side effects.

original_name: Option<String>

The original function name (if this closure was lifted).

Implementations

impl ClosureInfo

pub fn can_stack_allocate(&self) -> bool

Whether this closure can be stack-allocated.

pub fn total_fields(&self) -> usize

Total number of fields in the closure struct (fn_ptr + captured).

Trait Implementations

impl Clone for ClosureInfo

fn clone(&self) -> ClosureInfo

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ClosureInfo

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

Formats the value using the given formatter.

impl Display for ClosureInfo

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

Formats the value using the given formatter.