Struct Instantiation 

pub struct Instantiation {
    pub base: Substitution,
    pub builtin_types: *mut BuiltinTypes,
    pub level: TypeLevel,
    pub scope: *mut Scope,
    pub reusable_replace_generics: ReplaceGenerics,
}

Fields

base: Substitution

builtin_types: *mut BuiltinTypes

level: TypeLevel

scope: *mut Scope

reusable_replace_generics: ReplaceGenerics

Implementations

impl Instantiation

pub fn clean_type_id(&mut self, ty: TypeId) -> TypeId

impl Instantiation

pub fn clean_type_pack_id(&mut self, tp: TypePackId) -> TypePackId

impl Instantiation

pub fn ignore_children(&self, ty: TypeId) -> bool

impl Instantiation

pub fn instantiation_new( log: *const TxnLog, arena: *mut TypeArena, builtin_types: *mut BuiltinTypes, level: TypeLevel, scope: *mut Scope, ) -> Self

C++ Instantiation(const TxnLog* log, TypeArena* arena, NotNull<BuiltinTypes> builtinTypes, TypeLevel level, Scope* scope) : Substitution(log, arena), builtinTypes(builtinTypes), level(level), scope(scope), reusableReplaceGenerics(log, arena, builtinTypes, level, scope, {}, {}).

pub fn substitute_type_id(&mut self, ty: TypeId) -> Option<TypeId>

pub fn substitute_type_pack_id(&mut self, tp: TypePackId) -> Option<TypePackId>

impl Instantiation

pub fn is_dirty_type_id(&self, ty: TypeId) -> bool

impl Instantiation

pub fn is_dirty_type_pack_id(&self, _tp: TypePackId) -> bool

impl Instantiation

pub fn reset_state( &mut self, log: *const TxnLog, arena: *mut TypeArena, builtin_types: *mut BuiltinTypes, level: TypeLevel, scope: *mut Scope, )

Trait Implementations

impl Clone for Instantiation

fn clone(&self) -> Instantiation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Instantiation

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

Formats the value using the given formatter.