Struct ClosureRegistry 

pub struct ClosureRegistry { /* private fields */ }

Registry of closure capture layouts, keyed on capture signature AND per-capture kind.

Track A.1C.2: the registry key is (capture_types, capture_kinds). Two closures with identical capture types but different kinds (e.g. one captures a let and another captures a var of the same type) MUST NOT share a layout — the masks, release glue, and code emission differ. The legacy intern(capture_types) entry point defaults all kinds to Immutable and is the common case; the new intern_with_kinds variant keys on the kind vector as well.

Implementations

impl ClosureRegistry

pub fn new() -> Self

Create an empty registry.

pub fn intern(&mut self, capture_types: Vec<ConcreteType>) -> ClosureTypeId

Intern a capture signature with every capture defaulted to CaptureKind::Immutable. Returns an existing id if the (types, all-Immutable kinds) key is present.

pub fn intern_with_kinds( &mut self, capture_types: Vec<ConcreteType>, capture_kinds: Vec<CaptureKind>, ) -> ClosureTypeId

Intern a capture signature with explicit per-capture kinds. Two closures with identical types but different kinds get distinct ClosureTypeIds.

pub fn get(&self, id: ClosureTypeId) -> Option<&ClosureLayout>

Get the layout for a previously interned ClosureTypeId.

pub fn len(&self) -> usize

Number of distinct capture signatures interned.

pub fn is_empty(&self) -> bool

Whether the registry is empty.

pub fn iter(&self) -> impl Iterator<Item = (ClosureTypeId, &ClosureLayout)>

Iterate over all (ClosureTypeId, ClosureLayout) pairs.

pub fn lookup(&self, capture_types: &[ConcreteType]) -> Option<ClosureTypeId>

Look up a ClosureTypeId by capture signature (all-Immutable kinds) without interning. Returns None if not seen before.

Trait Implementations

impl Clone for ClosureRegistry

fn clone(&self) -> ClosureRegistry

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ClosureRegistry

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

Formats the value using the given formatter.

impl Default for ClosureRegistry

fn default() -> ClosureRegistry

Returns the “default value” for a type.