Struct TypeScope 

pub struct TypeScope<'s> {
    pub interner: &'s Interner,
    pub registry: Option<&'s TypeRegistry>,
    pub params: &'s HashMap<Symbol, InferType>,
    pub twins: Option<&'s HashMap<Symbol, Symbol>>,
}

Where the names in a written type are looked up while converting it: the program’s registry (so a user struct or enum is a UserDefined, not Unknown) and the type parameters in scope, each standing for the type it is currently bound to.

Fields

interner: &'s Interner

registry: Option<&'s TypeRegistry>

params: &'s HashMap<Symbol, InferType>

twins: Option<&'s HashMap<Symbol, Symbol>>

Each bare type name that IS a namespaced type (Point for Geometry::Point), so both spellings read as one type (see TypeRegistry::namespaced_twins).

Implementations

impl TypeScope<'_>

pub fn canonical(&self, name: Symbol) -> Symbol

The one identity a user type named name has: its namespaced twin when the bare spelling names one, else itself.