Struct ImplTable 

pub struct ImplTable {
    pub diags: DiagnosticBag,
    /* private fields */
}

Maps (TraitRef, Type) pairs to impl blocks and supports method dispatch.

Construction

let table = ImplTable::build_from(&air_module_node);
// inspect table.diags for coherence errors

Querying

let impl_id = resolve_impl(&TraitRef::new("Equatable"), &ty, &table)?;
let method  = resolve_method(&receiver_ty, "equals", &table)?;

Fields

diags: DiagnosticBag

Diagnostics emitted during construction (coherence errors use E4010).

Implementations

impl ImplTable

pub fn new() -> Self

Create a new, empty ImplTable.

pub fn build_from(module: &AIRNode) -> Self

Build an ImplTable by walking the top-level items of an AIR module node.

The node must have NodeKind::Module; other node kinds produce an empty table. Coherence checking (exact-type impl overlap detection) runs during construction and emits E4010 diagnostics for any duplicate (Trait, Type) pair.

pub fn register_supertrait( &mut self, sub_trait: impl Into<String>, super_trait: impl Into<String>, )

Register a direct supertrait relationship: every impl of sub_trait must also impl super_trait.

pub fn register_trait_impl( &mut self, trait_name: impl Into<String>, ty: &Type, ) -> ImplId

Programmatically register a trait impl for a concrete type.

This is a convenience method for tests and downstream passes that need to populate the table without building from AIR nodes.

pub fn register_assoc_type( &mut self, impl_id: ImplId, name: impl Into<String>, ty: Type, )

Register an associated type binding for a given impl block.

Overrides any existing binding for (impl_id, name).

pub fn resolve_assoc_type(&self, impl_id: ImplId, name: &str) -> Option<&Type>

Look up an associated type binding by impl id and name.

Returns None if no binding has been registered.

pub fn all_supertraits(&self, trait_name: &str) -> Vec<String>

Return all supertraits of trait_name, collected transitively via BFS.

The result list is in BFS order (direct supertraits before their supertraits) with no duplicates. The original trait_name is not included.

pub fn get_entry(&self, id: ImplId) -> Option<&ImplEntry>

Get the impl entry for an id.

pub fn entries(&self) -> impl Iterator<Item = &ImplEntry>

Iterate over all registered entries.

Trait Implementations

impl Default for ImplTable

fn default() -> Self

Returns the “default value” for a type.