Struct EmitCtx 

pub struct EmitCtx {
    pub local_types: HashMap<String, Type>,
    pub rc_wrapped: HashSet<String>,
    pub borrowed_params: HashSet<String>,
}

Emission context carrying Rust-specific type/borrow policy.

Fields

local_types: HashMap<String, Type>

Local variable types (from fn params) for copy-type elision.

rc_wrapped: HashSet<String>

Parameters passed as Rc<T> (self-TCO) or &T (mutual-TCO pass-through).

borrowed_params: HashSet<String>

Parameters emitted as &T borrows (borrow-by-default for non-Copy, non-Str params).

Implementations

impl EmitCtx

pub fn empty() -> Self

Empty context — conservative (clones everything non-Copy).

pub fn for_fn(param_types: HashMap<String, Type>) -> Self

Build context for a function with known parameter types. Automatically computes borrowed_params from param types.

pub fn for_fn_no_borrow(param_types: HashMap<String, Type>) -> Self

Build context for a function WITHOUT borrow-by-default (e.g. TCO, memo).

pub fn is_copy(&self, name: &str) -> bool

Is this variable a Copy type in Rust (i64, f64, bool, ())?

pub fn is_rc_wrapped(&self, name: &str) -> bool

Is this variable a pass-through parameter (Rc in self-TCO, &T in mutual-TCO)?

pub fn is_borrowed_param(&self, name: &str) -> bool

Is this variable a borrowed parameter (&T from borrow-by-default)?

pub fn with_rc_wrapped(&self, rc: HashSet<String>) -> Self

Create a context with specified Rc-wrapped parameters (TCO pass-through).

Trait Implementations

impl Clone for EmitCtx

fn clone(&self) -> EmitCtx

Returns a duplicate of the value.

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

Performs copy-assignment from source.