Struct TypeCollectorVisitor 

pub struct TypeCollectorVisitor {
    pub types: FxHashSet<TypeId>,
    pub max_depth: usize,
}

Visitor that collects all TypeIds referenced by a type.

Useful for finding dependencies or tracking type usage.

Fields

types: FxHashSet<TypeId>

Set of collected type IDs.

max_depth: usize

Maximum depth to traverse.

Implementations

impl TypeCollectorVisitor

pub fn new() -> Self

Create a new TypeCollectorVisitor.

pub fn with_max_depth(max_depth: usize) -> Self

Create a new TypeCollectorVisitor with custom max depth.

Trait Implementations

impl Default for TypeCollectorVisitor

fn default() -> Self

Returns the “default value” for a type.

impl TypeVisitor for TypeCollectorVisitor

type Output = ()

The output type produced by visiting.

fn visit_intrinsic(&mut self, _kind: IntrinsicKind) -> Self::Output

Visit an intrinsic type (any, unknown, never, void, etc.).

fn visit_literal(&mut self, _value: &LiteralValue) -> Self::Output

Visit a literal type (string, number, boolean, bigint literals).

fn visit_array(&mut self, element_type: TypeId) -> Self::Output

Visit an array type T[].

fn visit_index_access( &mut self, object_type: TypeId, key_type: TypeId, ) -> Self::Output

Visit an indexed access type T[K].

fn visit_keyof(&mut self, type_id: TypeId) -> Self::Output

Visit a keyof type.

fn visit_readonly_type(&mut self, inner_type: TypeId) -> Self::Output

Visit a readonly type modifier.

fn visit_string_intrinsic( &mut self, _kind: StringIntrinsicKind, type_arg: TypeId, ) -> Self::Output

Visit a string manipulation intrinsic type.

fn visit_enum(&mut self, _def_id: u32, member_type: TypeId) -> Self::Output

Visit an enum type with nominal identity and structural member types.

fn default_output() -> Self::Output

Default output for unimplemented variants.

fn visit_object(&mut self, _shape_id: u32) -> Self::Output

Visit an object type with properties.

fn visit_object_with_index(&mut self, _shape_id: u32) -> Self::Output

Visit an object type with index signatures.

fn visit_union(&mut self, _list_id: u32) -> Self::Output

Visit a union type (A | B | C).

fn visit_intersection(&mut self, _list_id: u32) -> Self::Output

Visit an intersection type (A & B & C).

fn visit_tuple(&mut self, _list_id: u32) -> Self::Output

Visit a tuple type [T, U, V].

fn visit_function(&mut self, _shape_id: u32) -> Self::Output

Visit a function type.

fn visit_callable(&mut self, _shape_id: u32) -> Self::Output

Visit a callable type with call/construct signatures.

fn visit_type_parameter(&mut self, _param_info: &TypeParamInfo) -> Self::Output

Visit a type parameter (generic type variable).

fn visit_bound_parameter(&mut self, _de_bruijn_index: u32) -> Self::Output

Visit a bound type parameter using De Bruijn index for alpha-equivalence.

fn visit_ref(&mut self, _symbol_ref: u32) -> Self::Output

Visit a named type reference (interface, class, type alias).

fn visit_lazy(&mut self, _def_id: u32) -> Self::Output

Visit a lazy type reference using DefId.

fn visit_recursive(&mut self, _de_bruijn_index: u32) -> Self::Output

Visit a recursive type reference using De Bruijn index.

fn visit_application(&mut self, _app_id: u32) -> Self::Output

Visit a generic type application Base.

fn visit_conditional(&mut self, _cond_id: u32) -> Self::Output

Visit a conditional type T extends U ? X : Y.

fn visit_mapped(&mut self, _mapped_id: u32) -> Self::Output

Visit a mapped type { [K in Keys]: V }.

fn visit_template_literal(&mut self, _template_id: u32) -> Self::Output

Visit a template literal type hello${x}world.

fn visit_type_query(&mut self, _symbol_ref: u32) -> Self::Output

Visit a type query (typeof expr).

fn visit_unique_symbol(&mut self, _symbol_ref: u32) -> Self::Output

Visit a unique symbol type.

fn visit_infer(&mut self, _param_info: &TypeParamInfo) -> Self::Output

Visit an infer type (for type inference in conditional types).

fn visit_this_type(&mut self) -> Self::Output

Visit a this type (polymorphic this parameter).

fn visit_error(&mut self) -> Self::Output

Visit an error type.

fn visit_no_infer(&mut self, _inner: TypeId) -> Self::Output

Visit a NoInfer type (TypeScript 5.4+). Traverses the inner type (NoInfer is transparent for traversal).

fn visit_module_namespace(&mut self, _symbol_ref: u32) -> Self::Output

Visit a module namespace type (import * as ns).

fn visit_type( &mut self, types: &dyn TypeDatabase, type_id: TypeId, ) -> Self::Output

Visit a type by dispatching to the appropriate method.

fn visit_type_key( &mut self, _types: &dyn TypeDatabase, type_key: &TypeData, ) -> Self::Output

Visit a TypeData by dispatching to the appropriate method.