Struct ApplyMappedGenerics 

pub struct ApplyMappedGenerics { /* private fields */ }

C++ ApplyMappedGenerics (Subtyping.cpp): a Substitution subclass, so it embeds base: Substitution and inherits substitute (whose traversal virtual-dispatches into the isDirty / clean / ignoreChildren overrides installed via SubstitutionVtable).

Implementations

impl ApplyMappedGenerics

pub fn apply_mapped_generics( &mut self, builtin_types: *mut BuiltinTypes, arena: *mut TypeArena, env: &mut SubtypingEnvironment, ice_reporter: *mut InternalErrorReporter, )

impl ApplyMappedGenerics

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

Inherited Substitution::substitute(TypeId) with override dispatch wired.

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

Inherited Substitution::substitute(TypePackId) with override dispatch wired.

impl ApplyMappedGenerics

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

impl ApplyMappedGenerics

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

impl ApplyMappedGenerics

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

impl ApplyMappedGenerics

pub fn ignore_children_type_pack_id(&mut self, ty: TypePackId) -> bool

impl ApplyMappedGenerics

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

impl ApplyMappedGenerics

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

Trait Implementations

impl Clone for ApplyMappedGenerics

fn clone(&self) -> ApplyMappedGenerics

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ApplyMappedGenerics

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

Formats the value using the given formatter.