Struct TypeInstantiator 

pub struct TypeInstantiator<'a> {
    pub this_type: Option<TypeId>,
    /* private fields */
}

Instantiator for applying type substitutions.

Fields

this_type: Option<TypeId>

When set, substitutes ThisType with this concrete type.

Implementations

impl<'a> TypeInstantiator<'a>

pub fn new( interner: &'a dyn TypeDatabase, substitution: &'a TypeSubstitution, ) -> Self

Create a new instantiator.

pub fn instantiate(&mut self, type_id: TypeId) -> TypeId

Apply the substitution to a type, returning the instantiated type.