Struct Instantiations 

pub struct Instantiations {
    pub calls: HashMap<Site, CallInstance>,
    pub constructed: HashMap<Site, InferType>,
    pub empty_lists: HashMap<Site, InferType>,
    pub scrutinees: HashMap<Site, InferType>,
    pub type_params: HashMap<Symbol, Vec<(Symbol, InferType)>>,
}

What the checker solved at every generic site of a program — the input to monomorphization.

Types are RESOLVED, not zonked: a site inside a generic function’s body still names that function’s own type variables (listed in type_params), to be substituted once per instance. A variable nothing constrained stays a variable.

Fields

calls: HashMap<Site, CallInstance>

Each call of a generic function.

constructed: HashMap<Site, InferType>

Each New / NewVariant and some / none: the type it builds.

empty_lists: HashMap<Site, InferType>

Each empty sequence literal ([]): the sequence type its context gives it.

scrutinees: HashMap<Site, InferType>

Each Inspect: the type of the value it inspects.

type_params: HashMap<Symbol, Vec<(Symbol, InferType)>>

Each generic function’s type parameters in declaration order, each as the type its variable resolved to (its own unbound variable, unless the body pinned it).

Trait Implementations

impl Debug for Instantiations

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

Formats the value using the given formatter.

impl Default for Instantiations

fn default() -> Instantiations

Returns the “default value” for a type.