Struct SubtypingEnvironment 

pub struct SubtypingEnvironment {
    pub parent: *mut SubtypingEnvironment,
    pub mapped_generics: DenseHashMap<TypeId, Vec<GenericBounds>>,
    pub mapped_generic_packs: MappedGenericEnvironment,
    pub substitutions: DenseHashMap<TypeId, TypeId>,
    pub seen_set_cache: DenseHashMap<(TypeId, TypeId), SubtypingResult, TypePairHash>,
    pub iteration_count: i32,
}

Fields

parent: *mut SubtypingEnvironment

mapped_generics: DenseHashMap<TypeId, Vec<GenericBounds>>

mapped_generic_packs: MappedGenericEnvironment

substitutions: DenseHashMap<TypeId, TypeId>

seen_set_cache: DenseHashMap<(TypeId, TypeId), SubtypingResult, TypePairHash>

iteration_count: i32

Implementations

impl SubtypingEnvironment

pub fn apply_mapped_generics( &mut self, builtin_types: *mut BuiltinTypes, arena: *mut TypeArena, ty: TypeId, ice_reporter: *mut InternalErrorReporter, ) -> Option<TypeId>

C++ SubtypingEnvironment::applyMappedGenerics (Subtyping.cpp:504-513):

ApplyMappedGenerics amg{builtinTypes, arena, *this, iceReporter};
return amg.substitute(ty);

ApplyMappedGenerics extends Substitution and inherits substitute, whose traversal virtual-dispatches into the overridden isDirty / clean / ignoreChildren. The Rust ApplyMappedGenerics now embeds base: Substitution and installs those overrides into the SubstitutionVtable from its substitute_type_id wrapper.

impl SubtypingEnvironment

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

impl SubtypingEnvironment

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

impl SubtypingEnvironment

pub fn get_mapped_type_bounds( &mut self, ty: TypeId, ice_reporter: *mut InternalErrorReporter, ) -> &mut GenericBounds

impl SubtypingEnvironment

pub fn lookup_generic_pack(&self, tp: TypePackId) -> LookupResult

impl SubtypingEnvironment

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

impl SubtypingEnvironment

pub fn try_find_subtyping_result( &self, sub_and_super: (TypeId, TypeId), ) -> Option<&SubtypingResult>

Trait Implementations

impl Debug for SubtypingEnvironment

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

Formats the value using the given formatter.