Struct ReplaceGenerics 

pub struct ReplaceGenerics {
    pub base: Substitution,
    pub builtin_types: *mut BuiltinTypes,
    pub level: TypeLevel,
    pub scope: *mut Scope,
    pub generics: Vec<TypeId>,
    pub generic_packs: Vec<TypePackId>,
}

Fields

base: Substitution

builtin_types: *mut BuiltinTypes

level: TypeLevel

scope: *mut Scope

generics: Vec<TypeId>

generic_packs: Vec<TypePackId>

Implementations

impl ReplaceGenerics

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

impl ReplaceGenerics

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

impl ReplaceGenerics

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

impl ReplaceGenerics

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

impl ReplaceGenerics

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

impl ReplaceGenerics

pub fn replace_generics_new( log: *const TxnLog, arena: *mut TypeArena, builtin_types: *mut BuiltinTypes, level: TypeLevel, scope: *mut Scope, generics: Vec<TypeId>, generic_packs: Vec<TypePackId>, ) -> Self

C++ ReplaceGenerics(const TxnLog* log, TypeArena* arena, NotNull<BuiltinTypes> builtinTypes, TypeLevel level, Scope* scope, const std::vector<TypeId>& generics, const std::vector<TypePackId>& genericPacks) : Substitution(log, arena), ....

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

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

impl ReplaceGenerics

pub fn reset_state( &mut self, log: *const TxnLog, arena: *mut TypeArena, builtin_types: *mut BuiltinTypes, level: TypeLevel, scope: *mut Scope, generics: Vec<TypeId>, generic_packs: Vec<TypePackId>, )

Trait Implementations

impl Clone for ReplaceGenerics

fn clone(&self) -> ReplaceGenerics

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ReplaceGenerics

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

Formats the value using the given formatter.