Struct ReferenceCountInitializer 

pub struct ReferenceCountInitializer { /* private fields */ }

Implementations

impl ReferenceCountInitializer

pub fn reference_count_initializer_reference_count_initializer( mutated_types: *mut TypeIds, mutated_type_packs: *mut TypePackIds, ) -> Self

impl ReferenceCountInitializer

pub fn visit_type_id_free_type( &mut self, ty: TypeId, _free_type: &FreeType, ) -> bool

C++ bool ReferenceCountInitializer::visit(TypeId ty, const FreeType&) (Constraint.cpp:26-30).

impl ReferenceCountInitializer

pub fn visit_type_id_blocked_type( &mut self, ty: TypeId, _blocked_type: &BlockedType, ) -> bool

C++ bool ReferenceCountInitializer::visit(TypeId ty, const BlockedType&) (Constraint.cpp:32-36).

impl ReferenceCountInitializer

pub fn visit_type_id_pending_expansion_type( &mut self, ty: TypeId, _pending_expansion_type: &PendingExpansionType, ) -> bool

C++ bool ReferenceCountInitializer::visit(TypeId ty, const PendingExpansionType&) (Constraint.cpp:38-42).

impl ReferenceCountInitializer

pub fn visit_type_id_table_type(&mut self, ty: TypeId, tt: &TableType) -> bool

impl ReferenceCountInitializer

pub fn visit_type_id_extern_type( &mut self, _ty: TypeId, _extern_type: &ExternType, ) -> bool

impl ReferenceCountInitializer

pub fn visit_type_id_type_function_instance_type( &mut self, _ty: TypeId, tfit: &TypeFunctionInstanceType, ) -> bool

impl ReferenceCountInitializer

pub fn visit_type_pack_id_blocked_type_pack( &mut self, tp: TypePackId, _blocked_type_pack: &BlockedTypePack, ) -> bool

impl ReferenceCountInitializer

pub fn visit_type_pack_id_free_type_pack( &mut self, tp: TypePackId, _free_type_pack: &FreeTypePack, ) -> bool

C++ bool ReferenceCountInitializer::visit(TypePackId tp, const FreeTypePack&) (Constraint.cpp:74-82).

Trait Implementations

impl Clone for ReferenceCountInitializer

fn clone(&self) -> ReferenceCountInitializer

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ReferenceCountInitializer

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

Formats the value using the given formatter.

impl GenericTypeVisitorTrait for ReferenceCountInitializer

Trait wiring for the ReferenceCountInitializer overrides (declared as inherent methods in the sibling ..._visit_constraint* node files). C++ ReferenceCountInitializer : TypeOnceVisitor (Constraint.h:384).

type Seen = DenseHashSet<*mut c_void>

fn visitor_base(&mut self) -> &mut GenericTypeVisitor<Self::Seen>

fn visit_type_id_free_type(&mut self, ty: TypeId, ftv: &FreeType) -> bool

fn visit_type_id_blocked_type(&mut self, ty: TypeId, btv: &BlockedType) -> bool

fn visit_type_id_pending_expansion_type( &mut self, ty: TypeId, petv: &PendingExpansionType, ) -> bool

fn visit_type_id_table_type(&mut self, ty: TypeId, ttv: &TableType) -> bool

fn visit_type_id_extern_type(&mut self, ty: TypeId, etv: &ExternType) -> bool

fn visit_type_id_type_function_instance_type( &mut self, ty: TypeId, tfit: &TypeFunctionInstanceType, ) -> bool

fn visit_type_pack_id_blocked_type_pack( &mut self, tp: TypePackId, btp: &BlockedTypePack, ) -> bool

fn visit_type_pack_id_free_type_pack( &mut self, tp: TypePackId, ftp: &FreeTypePack, ) -> bool

fn cycle_type_id(&mut self, _ty: TypeId)

fn cycle_type_pack_id(&mut self, _tp: TypePackId)

fn visit_type_id(&mut self, _ty: TypeId) -> bool

fn visit_type_id_bound_type(&mut self, ty: TypeId, _btv: &BoundType) -> bool

fn visit_type_id_generic_type(&mut self, ty: TypeId, _gtv: &GenericType) -> bool

fn visit_type_id_error_type(&mut self, ty: TypeId, _etv: &ErrorType) -> bool

fn visit_type_id_primitive_type( &mut self, ty: TypeId, _ptv: &PrimitiveType, ) -> bool

fn visit_type_id_function_type( &mut self, ty: TypeId, _ftv: &FunctionType, ) -> bool

fn visit_type_id_metatable_type( &mut self, ty: TypeId, _mtv: &MetatableType, ) -> bool

fn visit_type_id_any_type(&mut self, ty: TypeId, _atv: &AnyType) -> bool

fn visit_type_id_no_refine_type( &mut self, ty: TypeId, _nrt: &NoRefineType, ) -> bool

fn visit_type_id_unknown_type(&mut self, ty: TypeId, _utv: &UnknownType) -> bool

fn visit_type_id_never_type(&mut self, ty: TypeId, _ntv: &NeverType) -> bool

fn visit_type_id_union_type(&mut self, ty: TypeId, _utv: &UnionType) -> bool

fn visit_type_id_intersection_type( &mut self, ty: TypeId, _itv: &IntersectionType, ) -> bool

fn visit_type_id_singleton_type( &mut self, ty: TypeId, _stv: &SingletonType, ) -> bool

fn visit_type_id_negation_type( &mut self, ty: TypeId, _ntv: &NegationType, ) -> bool

fn visit_type_pack_id(&mut self, _tp: TypePackId) -> bool

fn visit_type_pack_id_bound_type_pack( &mut self, tp: TypePackId, _btp: &BoundTypePack, ) -> bool

fn visit_type_pack_id_generic_type_pack( &mut self, tp: TypePackId, _gtp: &GenericTypePack, ) -> bool

fn visit_type_pack_id_error_type_pack( &mut self, tp: TypePackId, _etp: &ErrorTypePack, ) -> bool

fn visit_type_pack_id_type_pack( &mut self, tp: TypePackId, _pack: &TypePack, ) -> bool

fn visit_type_pack_id_variadic_type_pack( &mut self, tp: TypePackId, _vtp: &VariadicTypePack, ) -> bool

fn visit_type_pack_id_type_function_instance_type_pack( &mut self, tp: TypePackId, _tfitp: &TypeFunctionInstanceTypePack, ) -> bool

fn traverse_type_id(&mut self, ty: TypeId)

where Self: Sized,

C++ void traverse(TypeId ty) (VisitType.h:217). Body in the traverse node file.

fn traverse_type_pack_id(&mut self, tp: TypePackId)

where Self: Sized,

C++ void traverse(TypePackId tp) (VisitType.h:444).