Struct LocInterner 

pub struct LocInterner { /* private fields */ }

Per-body interner mapping AbsLoc → dense LocId.

Owns the canonical store: callers only hold LocIds and resolve them through the interner. The first slot (LOC_TOP) is always Top, so the union-find resolver can short-circuit “is this Top?” queries with a single integer compare.

Implementations

impl LocInterner

pub fn new() -> Self

Create a fresh interner with LOC_TOP pre-installed.

pub fn len(&self) -> usize

Total number of interned locations (including the reserved LOC_TOP slot).

pub fn is_empty(&self) -> bool

Whether the interner only holds the reserved LOC_TOP slot.

pub fn resolve(&self, id: LocId) -> &AbsLoc

Resolve a LocId back to its AbsLoc. Panics on out-of- range ids, only ids the interner produced are valid.

pub fn depth(&self, id: LocId) -> u8

Depth of an interned location. 0 for non-Field locations; 1 + depth(parent) for Field { parent, .. }.

pub fn intern_alloc(&mut self, body: BodyId, ssa_value: u32) -> LocId

Intern an Alloc location.

pub fn intern_param(&mut self, body: BodyId, index: usize) -> LocId

Intern a positional Param location.

pub fn intern_self_param(&mut self, body: BodyId) -> LocId

Intern a SelfParam location for the given body.

pub fn intern_field(&mut self, parent: LocId, field: FieldId) -> LocId

Intern a Field { parent, field } location. Returns LOC_TOP when parent is Top or when the resulting depth would exceed MAX_FIELD_DEPTH.

Trait Implementations

impl Clone for LocInterner

fn clone(&self) -> LocInterner

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LocInterner

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

Formats the value using the given formatter.

impl Default for LocInterner

fn default() -> Self

Returns the “default value” for a type.