Struct Instantiator

pub struct Instantiator {
    pub associated_impls: AssociatedImpls,
    pub instantiation_cache: InstantiationCache,
}

Fields

associated_impls: AssociatedImpls

instantiation_cache: InstantiationCache

Implementations

impl Instantiator

pub fn new() -> Self

pub fn instantiate_blueprint_and_members( &mut self, blueprint: &ParameterizedTypeBlueprint, analyzed_type_parameters: &[Type], ) -> Result<Type, SemanticError>

Errors

Panics

pub fn instantiate_signature( &mut self, self_type: &Type, signature: &Signature, scope: &TypeVariableScope, ) -> Result<Signature, SemanticError>

Errors

Trait Implementations

impl Clone for Instantiator

fn clone(&self) -> Instantiator

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Instantiator

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

Formats the value using the given formatter.

impl Default for Instantiator

fn default() -> Self

Returns the “default value” for a type.