diff --git a/crates/oxc_ast/src/generated/visit.rs b/crates/oxc_ast/src/generated/visit.rs
new file mode 100644
index 0000000000000..3ec01cecc87ac
--- /dev/null
+++ b/crates/oxc_ast/src/generated/visit.rs
@@ -0,0 +1,4037 @@
+// Auto-generated code, DO NOT EDIT DIRECTLY!
+// To edit this generated file you have to edit `tasks/ast_codegen/src/generators/visit.rs`
+
+//! Visitor Pattern
+//!
+//! See:
+//! * [visitor pattern](https://rust-unofficial.github.io/patterns/patterns/behavioural/visitor.html)
+//! * [rustc visitor](https://github.com/rust-lang/rust/blob/master/compiler/rustc_ast/src/visit.rs)
+
+#![allow(
+    clippy::self_named_module_files,
+    clippy::semicolon_if_nothing_returned,
+    clippy::match_wildcard_for_single_variants
+)]
+
+use oxc_allocator::Vec;
+use oxc_syntax::scope::ScopeFlags;
+
+use crate::{ast::*, ast_kind::AstKind};
+
+use walk::*;
+
+/// Syntax tree traversal
+pub trait Visit<'a>: Sized {
+    #[allow(unused_variables)]
+    fn enter_node(&mut self, kind: AstKind<'a>) {}
+    #[allow(unused_variables)]
+    fn leave_node(&mut self, kind: AstKind<'a>) {}
+
+    #[allow(unused_variables)]
+    fn enter_scope(&mut self, flags: ScopeFlags) {}
+    fn leave_scope(&mut self) {}
+
+    fn alloc<T>(&self, t: &T) -> &'a T {
+        // SAFETY:
+        // This should be safe as long as `src` is an reference from the allocator.
+        // But honestly, I'm not really sure if this is safe.
+        #[allow(unsafe_code)]
+        unsafe {
+            std::mem::transmute(t)
+        }
+    }
+
+    #[inline]
+    fn visit_program(&mut self, it: &Program<'a>) {
+        walk_program(self, it);
+    }
+
+    #[inline]
+    fn visit_directives(&mut self, it: &Vec<'a, Directive<'a>>) {
+        walk_directives(self, it);
+    }
+
+    #[inline]
+    fn visit_directive(&mut self, it: &Directive<'a>) {
+        walk_directive(self, it);
+    }
+
+    #[inline]
+    fn visit_string_literal(&mut self, it: &StringLiteral<'a>) {
+        walk_string_literal(self, it);
+    }
+
+    #[inline]
+    fn visit_hashbang(&mut self, it: &Hashbang<'a>) {
+        walk_hashbang(self, it);
+    }
+
+    #[inline]
+    fn visit_statements(&mut self, it: &Vec<'a, Statement<'a>>) {
+        walk_statements(self, it);
+    }
+
+    #[inline]
+    fn visit_statement(&mut self, it: &Statement<'a>) {
+        walk_statement(self, it);
+    }
+
+    #[inline]
+    fn visit_block_statement(&mut self, it: &BlockStatement<'a>) {
+        walk_block_statement(self, it);
+    }
+
+    #[inline]
+    fn visit_break_statement(&mut self, it: &BreakStatement<'a>) {
+        walk_break_statement(self, it);
+    }
+
+    #[inline]
+    fn visit_label_identifier(&mut self, it: &LabelIdentifier<'a>) {
+        walk_label_identifier(self, it);
+    }
+
+    #[inline]
+    fn visit_continue_statement(&mut self, it: &ContinueStatement<'a>) {
+        walk_continue_statement(self, it);
+    }
+
+    #[inline]
+    fn visit_debugger_statement(&mut self, it: &DebuggerStatement) {
+        walk_debugger_statement(self, it);
+    }
+
+    #[inline]
+    fn visit_do_while_statement(&mut self, it: &DoWhileStatement<'a>) {
+        walk_do_while_statement(self, it);
+    }
+
+    #[inline]
+    fn visit_expression(&mut self, it: &Expression<'a>) {
+        walk_expression(self, it);
+    }
+
+    #[inline]
+    fn visit_boolean_literal(&mut self, it: &BooleanLiteral) {
+        walk_boolean_literal(self, it);
+    }
+
+    #[inline]
+    fn visit_null_literal(&mut self, it: &NullLiteral) {
+        walk_null_literal(self, it);
+    }
+
+    #[inline]
+    fn visit_numeric_literal(&mut self, it: &NumericLiteral<'a>) {
+        walk_numeric_literal(self, it);
+    }
+
+    #[inline]
+    fn visit_big_int_literal(&mut self, it: &BigIntLiteral<'a>) {
+        walk_big_int_literal(self, it);
+    }
+
+    #[inline]
+    fn visit_reg_exp_literal(&mut self, it: &RegExpLiteral<'a>) {
+        walk_reg_exp_literal(self, it);
+    }
+
+    #[inline]
+    fn visit_template_literal(&mut self, it: &TemplateLiteral<'a>) {
+        walk_template_literal(self, it);
+    }
+
+    #[inline]
+    fn visit_template_elements(&mut self, it: &Vec<'a, TemplateElement<'a>>) {
+        walk_template_elements(self, it);
+    }
+
+    #[inline]
+    fn visit_template_element(&mut self, it: &TemplateElement<'a>) {
+        walk_template_element(self, it);
+    }
+
+    #[inline]
+    fn visit_expressions(&mut self, it: &Vec<'a, Expression<'a>>) {
+        walk_expressions(self, it);
+    }
+
+    #[inline]
+    fn visit_identifier_reference(&mut self, it: &IdentifierReference<'a>) {
+        walk_identifier_reference(self, it);
+    }
+
+    #[inline]
+    fn visit_meta_property(&mut self, it: &MetaProperty<'a>) {
+        walk_meta_property(self, it);
+    }
+
+    #[inline]
+    fn visit_identifier_name(&mut self, it: &IdentifierName<'a>) {
+        walk_identifier_name(self, it);
+    }
+
+    #[inline]
+    fn visit_super(&mut self, it: &Super) {
+        walk_super(self, it);
+    }
+
+    #[inline]
+    fn visit_array_expression(&mut self, it: &ArrayExpression<'a>) {
+        walk_array_expression(self, it);
+    }
+
+    #[inline]
+    fn visit_array_expression_elements(&mut self, it: &Vec<'a, ArrayExpressionElement<'a>>) {
+        walk_array_expression_elements(self, it);
+    }
+
+    #[inline]
+    fn visit_array_expression_element(&mut self, it: &ArrayExpressionElement<'a>) {
+        walk_array_expression_element(self, it);
+    }
+
+    #[inline]
+    fn visit_spread_element(&mut self, it: &SpreadElement<'a>) {
+        walk_spread_element(self, it);
+    }
+
+    #[inline]
+    fn visit_elision(&mut self, it: &Elision) {
+        walk_elision(self, it);
+    }
+
+    #[inline]
+    fn visit_expression_array_element(&mut self, it: &Expression<'a>) {
+        walk_expression_array_element(self, it);
+    }
+
+    #[inline]
+    fn visit_arrow_function_expression(&mut self, it: &ArrowFunctionExpression<'a>) {
+        walk_arrow_function_expression(self, it);
+    }
+
+    #[inline]
+    fn visit_formal_parameters(&mut self, it: &FormalParameters<'a>) {
+        walk_formal_parameters(self, it);
+    }
+
+    #[inline]
+    fn visit_formal_parameter_list(&mut self, it: &Vec<'a, FormalParameter<'a>>) {
+        walk_formal_parameter_list(self, it);
+    }
+
+    #[inline]
+    fn visit_formal_parameter(&mut self, it: &FormalParameter<'a>) {
+        walk_formal_parameter(self, it);
+    }
+
+    #[inline]
+    fn visit_binding_pattern(&mut self, it: &BindingPattern<'a>) {
+        walk_binding_pattern(self, it);
+    }
+
+    #[inline]
+    fn visit_binding_pattern_kind(&mut self, it: &BindingPatternKind<'a>) {
+        walk_binding_pattern_kind(self, it);
+    }
+
+    #[inline]
+    fn visit_binding_identifier(&mut self, it: &BindingIdentifier<'a>) {
+        walk_binding_identifier(self, it);
+    }
+
+    #[inline]
+    fn visit_object_pattern(&mut self, it: &ObjectPattern<'a>) {
+        walk_object_pattern(self, it);
+    }
+
+    #[inline]
+    fn visit_binding_properties(&mut self, it: &Vec<'a, BindingProperty<'a>>) {
+        walk_binding_properties(self, it);
+    }
+
+    #[inline]
+    fn visit_binding_property(&mut self, it: &BindingProperty<'a>) {
+        walk_binding_property(self, it);
+    }
+
+    #[inline]
+    fn visit_property_key(&mut self, it: &PropertyKey<'a>) {
+        walk_property_key(self, it);
+    }
+
+    #[inline]
+    fn visit_private_identifier(&mut self, it: &PrivateIdentifier<'a>) {
+        walk_private_identifier(self, it);
+    }
+
+    #[inline]
+    fn visit_binding_rest_element(&mut self, it: &BindingRestElement<'a>) {
+        walk_binding_rest_element(self, it);
+    }
+
+    #[inline]
+    fn visit_array_pattern(&mut self, it: &ArrayPattern<'a>) {
+        walk_array_pattern(self, it);
+    }
+
+    #[inline]
+    fn visit_assignment_pattern(&mut self, it: &AssignmentPattern<'a>) {
+        walk_assignment_pattern(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_type_annotation(&mut self, it: &TSTypeAnnotation<'a>) {
+        walk_ts_type_annotation(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_type(&mut self, it: &TSType<'a>) {
+        walk_ts_type(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_any_keyword(&mut self, it: &TSAnyKeyword) {
+        walk_ts_any_keyword(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_big_int_keyword(&mut self, it: &TSBigIntKeyword) {
+        walk_ts_big_int_keyword(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_boolean_keyword(&mut self, it: &TSBooleanKeyword) {
+        walk_ts_boolean_keyword(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_intrinsic_keyword(&mut self, it: &TSIntrinsicKeyword) {
+        walk_ts_intrinsic_keyword(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_never_keyword(&mut self, it: &TSNeverKeyword) {
+        walk_ts_never_keyword(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_null_keyword(&mut self, it: &TSNullKeyword) {
+        walk_ts_null_keyword(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_number_keyword(&mut self, it: &TSNumberKeyword) {
+        walk_ts_number_keyword(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_object_keyword(&mut self, it: &TSObjectKeyword) {
+        walk_ts_object_keyword(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_string_keyword(&mut self, it: &TSStringKeyword) {
+        walk_ts_string_keyword(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_symbol_keyword(&mut self, it: &TSSymbolKeyword) {
+        walk_ts_symbol_keyword(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_undefined_keyword(&mut self, it: &TSUndefinedKeyword) {
+        walk_ts_undefined_keyword(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_unknown_keyword(&mut self, it: &TSUnknownKeyword) {
+        walk_ts_unknown_keyword(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_void_keyword(&mut self, it: &TSVoidKeyword) {
+        walk_ts_void_keyword(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_array_type(&mut self, it: &TSArrayType<'a>) {
+        walk_ts_array_type(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_conditional_type(&mut self, it: &TSConditionalType<'a>) {
+        walk_ts_conditional_type(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_constructor_type(&mut self, it: &TSConstructorType<'a>) {
+        walk_ts_constructor_type(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_type_parameter_declaration(&mut self, it: &TSTypeParameterDeclaration<'a>) {
+        walk_ts_type_parameter_declaration(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_type_parameters(&mut self, it: &Vec<'a, TSTypeParameter<'a>>) {
+        walk_ts_type_parameters(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_type_parameter(&mut self, it: &TSTypeParameter<'a>) {
+        walk_ts_type_parameter(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_function_type(&mut self, it: &TSFunctionType<'a>) {
+        walk_ts_function_type(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_this_parameter(&mut self, it: &TSThisParameter<'a>) {
+        walk_ts_this_parameter(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_import_type(&mut self, it: &TSImportType<'a>) {
+        walk_ts_import_type(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_type_name(&mut self, it: &TSTypeName<'a>) {
+        walk_ts_type_name(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_qualified_name(&mut self, it: &TSQualifiedName<'a>) {
+        walk_ts_qualified_name(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_import_attributes(&mut self, it: &TSImportAttributes<'a>) {
+        walk_ts_import_attributes(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_import_attribute_list(&mut self, it: &Vec<'a, TSImportAttribute<'a>>) {
+        walk_ts_import_attribute_list(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_import_attribute(&mut self, it: &TSImportAttribute<'a>) {
+        walk_ts_import_attribute(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_import_attribute_name(&mut self, it: &TSImportAttributeName<'a>) {
+        walk_ts_import_attribute_name(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_type_parameter_instantiation(&mut self, it: &TSTypeParameterInstantiation<'a>) {
+        walk_ts_type_parameter_instantiation(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_types(&mut self, it: &Vec<'a, TSType<'a>>) {
+        walk_ts_types(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_indexed_access_type(&mut self, it: &TSIndexedAccessType<'a>) {
+        walk_ts_indexed_access_type(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_infer_type(&mut self, it: &TSInferType<'a>) {
+        walk_ts_infer_type(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_intersection_type(&mut self, it: &TSIntersectionType<'a>) {
+        walk_ts_intersection_type(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_literal_type(&mut self, it: &TSLiteralType<'a>) {
+        walk_ts_literal_type(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_literal(&mut self, it: &TSLiteral<'a>) {
+        walk_ts_literal(self, it);
+    }
+
+    #[inline]
+    fn visit_unary_expression(&mut self, it: &UnaryExpression<'a>) {
+        walk_unary_expression(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_mapped_type(&mut self, it: &TSMappedType<'a>) {
+        walk_ts_mapped_type(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_named_tuple_member(&mut self, it: &TSNamedTupleMember<'a>) {
+        walk_ts_named_tuple_member(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_tuple_element(&mut self, it: &TSTupleElement<'a>) {
+        walk_ts_tuple_element(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_optional_type(&mut self, it: &TSOptionalType<'a>) {
+        walk_ts_optional_type(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_rest_type(&mut self, it: &TSRestType<'a>) {
+        walk_ts_rest_type(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_template_literal_type(&mut self, it: &TSTemplateLiteralType<'a>) {
+        walk_ts_template_literal_type(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_this_type(&mut self, it: &TSThisType) {
+        walk_ts_this_type(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_tuple_type(&mut self, it: &TSTupleType<'a>) {
+        walk_ts_tuple_type(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_tuple_elements(&mut self, it: &Vec<'a, TSTupleElement<'a>>) {
+        walk_ts_tuple_elements(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_type_literal(&mut self, it: &TSTypeLiteral<'a>) {
+        walk_ts_type_literal(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_signatures(&mut self, it: &Vec<'a, TSSignature<'a>>) {
+        walk_ts_signatures(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_signature(&mut self, it: &TSSignature<'a>) {
+        walk_ts_signature(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_index_signature(&mut self, it: &TSIndexSignature<'a>) {
+        walk_ts_index_signature(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_index_signature_names(&mut self, it: &Vec<'a, TSIndexSignatureName<'a>>) {
+        walk_ts_index_signature_names(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_index_signature_name(&mut self, it: &TSIndexSignatureName<'a>) {
+        walk_ts_index_signature_name(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_property_signature(&mut self, it: &TSPropertySignature<'a>) {
+        walk_ts_property_signature(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_call_signature_declaration(&mut self, it: &TSCallSignatureDeclaration<'a>) {
+        walk_ts_call_signature_declaration(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_construct_signature_declaration(
+        &mut self,
+        it: &TSConstructSignatureDeclaration<'a>,
+    ) {
+        walk_ts_construct_signature_declaration(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_method_signature(&mut self, it: &TSMethodSignature<'a>) {
+        walk_ts_method_signature(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_type_operator(&mut self, it: &TSTypeOperator<'a>) {
+        walk_ts_type_operator(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_type_predicate(&mut self, it: &TSTypePredicate<'a>) {
+        walk_ts_type_predicate(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_type_predicate_name(&mut self, it: &TSTypePredicateName<'a>) {
+        walk_ts_type_predicate_name(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_type_query(&mut self, it: &TSTypeQuery<'a>) {
+        walk_ts_type_query(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_type_query_expr_name(&mut self, it: &TSTypeQueryExprName<'a>) {
+        walk_ts_type_query_expr_name(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_type_reference(&mut self, it: &TSTypeReference<'a>) {
+        walk_ts_type_reference(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_union_type(&mut self, it: &TSUnionType<'a>) {
+        walk_ts_union_type(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_parenthesized_type(&mut self, it: &TSParenthesizedType<'a>) {
+        walk_ts_parenthesized_type(self, it);
+    }
+
+    #[inline]
+    fn visit_js_doc_nullable_type(&mut self, it: &JSDocNullableType<'a>) {
+        walk_js_doc_nullable_type(self, it);
+    }
+
+    #[inline]
+    fn visit_js_doc_non_nullable_type(&mut self, it: &JSDocNonNullableType<'a>) {
+        walk_js_doc_non_nullable_type(self, it);
+    }
+
+    #[inline]
+    fn visit_js_doc_unknown_type(&mut self, it: &JSDocUnknownType) {
+        walk_js_doc_unknown_type(self, it);
+    }
+
+    #[inline]
+    fn visit_decorators(&mut self, it: &Vec<'a, Decorator<'a>>) {
+        walk_decorators(self, it);
+    }
+
+    #[inline]
+    fn visit_decorator(&mut self, it: &Decorator<'a>) {
+        walk_decorator(self, it);
+    }
+
+    #[inline]
+    fn visit_function_body(&mut self, it: &FunctionBody<'a>) {
+        walk_function_body(self, it);
+    }
+
+    #[inline]
+    fn visit_assignment_expression(&mut self, it: &AssignmentExpression<'a>) {
+        walk_assignment_expression(self, it);
+    }
+
+    #[inline]
+    fn visit_assignment_target(&mut self, it: &AssignmentTarget<'a>) {
+        walk_assignment_target(self, it);
+    }
+
+    #[inline]
+    fn visit_simple_assignment_target(&mut self, it: &SimpleAssignmentTarget<'a>) {
+        walk_simple_assignment_target(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_as_expression(&mut self, it: &TSAsExpression<'a>) {
+        walk_ts_as_expression(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_satisfies_expression(&mut self, it: &TSSatisfiesExpression<'a>) {
+        walk_ts_satisfies_expression(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_non_null_expression(&mut self, it: &TSNonNullExpression<'a>) {
+        walk_ts_non_null_expression(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_type_assertion(&mut self, it: &TSTypeAssertion<'a>) {
+        walk_ts_type_assertion(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_instantiation_expression(&mut self, it: &TSInstantiationExpression<'a>) {
+        walk_ts_instantiation_expression(self, it);
+    }
+
+    #[inline]
+    fn visit_member_expression(&mut self, it: &MemberExpression<'a>) {
+        walk_member_expression(self, it);
+    }
+
+    #[inline]
+    fn visit_computed_member_expression(&mut self, it: &ComputedMemberExpression<'a>) {
+        walk_computed_member_expression(self, it);
+    }
+
+    #[inline]
+    fn visit_static_member_expression(&mut self, it: &StaticMemberExpression<'a>) {
+        walk_static_member_expression(self, it);
+    }
+
+    #[inline]
+    fn visit_private_field_expression(&mut self, it: &PrivateFieldExpression<'a>) {
+        walk_private_field_expression(self, it);
+    }
+
+    #[inline]
+    fn visit_assignment_target_pattern(&mut self, it: &AssignmentTargetPattern<'a>) {
+        walk_assignment_target_pattern(self, it);
+    }
+
+    #[inline]
+    fn visit_array_assignment_target(&mut self, it: &ArrayAssignmentTarget<'a>) {
+        walk_array_assignment_target(self, it);
+    }
+
+    #[inline]
+    fn visit_assignment_target_maybe_default(&mut self, it: &AssignmentTargetMaybeDefault<'a>) {
+        walk_assignment_target_maybe_default(self, it);
+    }
+
+    #[inline]
+    fn visit_assignment_target_with_default(&mut self, it: &AssignmentTargetWithDefault<'a>) {
+        walk_assignment_target_with_default(self, it);
+    }
+
+    #[inline]
+    fn visit_assignment_target_rest(&mut self, it: &AssignmentTargetRest<'a>) {
+        walk_assignment_target_rest(self, it);
+    }
+
+    #[inline]
+    fn visit_object_assignment_target(&mut self, it: &ObjectAssignmentTarget<'a>) {
+        walk_object_assignment_target(self, it);
+    }
+
+    #[inline]
+    fn visit_assignment_target_properties(&mut self, it: &Vec<'a, AssignmentTargetProperty<'a>>) {
+        walk_assignment_target_properties(self, it);
+    }
+
+    #[inline]
+    fn visit_assignment_target_property(&mut self, it: &AssignmentTargetProperty<'a>) {
+        walk_assignment_target_property(self, it);
+    }
+
+    #[inline]
+    fn visit_assignment_target_property_identifier(
+        &mut self,
+        it: &AssignmentTargetPropertyIdentifier<'a>,
+    ) {
+        walk_assignment_target_property_identifier(self, it);
+    }
+
+    #[inline]
+    fn visit_assignment_target_property_property(
+        &mut self,
+        it: &AssignmentTargetPropertyProperty<'a>,
+    ) {
+        walk_assignment_target_property_property(self, it);
+    }
+
+    #[inline]
+    fn visit_await_expression(&mut self, it: &AwaitExpression<'a>) {
+        walk_await_expression(self, it);
+    }
+
+    #[inline]
+    fn visit_binary_expression(&mut self, it: &BinaryExpression<'a>) {
+        walk_binary_expression(self, it);
+    }
+
+    #[inline]
+    fn visit_call_expression(&mut self, it: &CallExpression<'a>) {
+        walk_call_expression(self, it);
+    }
+
+    #[inline]
+    fn visit_arguments(&mut self, it: &Vec<'a, Argument<'a>>) {
+        walk_arguments(self, it);
+    }
+
+    #[inline]
+    fn visit_argument(&mut self, it: &Argument<'a>) {
+        walk_argument(self, it);
+    }
+
+    #[inline]
+    fn visit_chain_expression(&mut self, it: &ChainExpression<'a>) {
+        walk_chain_expression(self, it);
+    }
+
+    #[inline]
+    fn visit_chain_element(&mut self, it: &ChainElement<'a>) {
+        walk_chain_element(self, it);
+    }
+
+    #[inline]
+    fn visit_class(&mut self, it: &Class<'a>) {
+        walk_class(self, it);
+    }
+
+    #[inline]
+    fn visit_class_heritage(&mut self, it: &Expression<'a>) {
+        walk_class_heritage(self, it);
+    }
+
+    #[inline]
+    fn visit_conditional_expression(&mut self, it: &ConditionalExpression<'a>) {
+        walk_conditional_expression(self, it);
+    }
+
+    #[inline]
+    fn visit_function(&mut self, it: &Function<'a>, flags: Option<ScopeFlags>) {
+        walk_function(self, it, flags);
+    }
+
+    #[inline]
+    fn visit_import_expression(&mut self, it: &ImportExpression<'a>) {
+        walk_import_expression(self, it);
+    }
+
+    #[inline]
+    fn visit_logical_expression(&mut self, it: &LogicalExpression<'a>) {
+        walk_logical_expression(self, it);
+    }
+
+    #[inline]
+    fn visit_new_expression(&mut self, it: &NewExpression<'a>) {
+        walk_new_expression(self, it);
+    }
+
+    #[inline]
+    fn visit_object_expression(&mut self, it: &ObjectExpression<'a>) {
+        walk_object_expression(self, it);
+    }
+
+    #[inline]
+    fn visit_object_property_kinds(&mut self, it: &Vec<'a, ObjectPropertyKind<'a>>) {
+        walk_object_property_kinds(self, it);
+    }
+
+    #[inline]
+    fn visit_object_property_kind(&mut self, it: &ObjectPropertyKind<'a>) {
+        walk_object_property_kind(self, it);
+    }
+
+    #[inline]
+    fn visit_object_property(&mut self, it: &ObjectProperty<'a>) {
+        walk_object_property(self, it);
+    }
+
+    #[inline]
+    fn visit_parenthesized_expression(&mut self, it: &ParenthesizedExpression<'a>) {
+        walk_parenthesized_expression(self, it);
+    }
+
+    #[inline]
+    fn visit_sequence_expression(&mut self, it: &SequenceExpression<'a>) {
+        walk_sequence_expression(self, it);
+    }
+
+    #[inline]
+    fn visit_tagged_template_expression(&mut self, it: &TaggedTemplateExpression<'a>) {
+        walk_tagged_template_expression(self, it);
+    }
+
+    #[inline]
+    fn visit_this_expression(&mut self, it: &ThisExpression) {
+        walk_this_expression(self, it);
+    }
+
+    #[inline]
+    fn visit_update_expression(&mut self, it: &UpdateExpression<'a>) {
+        walk_update_expression(self, it);
+    }
+
+    #[inline]
+    fn visit_yield_expression(&mut self, it: &YieldExpression<'a>) {
+        walk_yield_expression(self, it);
+    }
+
+    #[inline]
+    fn visit_private_in_expression(&mut self, it: &PrivateInExpression<'a>) {
+        walk_private_in_expression(self, it);
+    }
+
+    #[inline]
+    fn visit_jsx_element(&mut self, it: &JSXElement<'a>) {
+        walk_jsx_element(self, it);
+    }
+
+    #[inline]
+    fn visit_jsx_opening_element(&mut self, it: &JSXOpeningElement<'a>) {
+        walk_jsx_opening_element(self, it);
+    }
+
+    #[inline]
+    fn visit_jsx_element_name(&mut self, it: &JSXElementName<'a>) {
+        walk_jsx_element_name(self, it);
+    }
+
+    #[inline]
+    fn visit_jsx_identifier(&mut self, it: &JSXIdentifier<'a>) {
+        walk_jsx_identifier(self, it);
+    }
+
+    #[inline]
+    fn visit_jsx_namespaced_name(&mut self, it: &JSXNamespacedName<'a>) {
+        walk_jsx_namespaced_name(self, it);
+    }
+
+    #[inline]
+    fn visit_jsx_member_expression(&mut self, it: &JSXMemberExpression<'a>) {
+        walk_jsx_member_expression(self, it);
+    }
+
+    #[inline]
+    fn visit_jsx_member_expression_object(&mut self, it: &JSXMemberExpressionObject<'a>) {
+        walk_jsx_member_expression_object(self, it);
+    }
+
+    #[inline]
+    fn visit_jsx_attribute_items(&mut self, it: &Vec<'a, JSXAttributeItem<'a>>) {
+        walk_jsx_attribute_items(self, it);
+    }
+
+    #[inline]
+    fn visit_jsx_attribute_item(&mut self, it: &JSXAttributeItem<'a>) {
+        walk_jsx_attribute_item(self, it);
+    }
+
+    #[inline]
+    fn visit_jsx_attribute(&mut self, it: &JSXAttribute<'a>) {
+        walk_jsx_attribute(self, it);
+    }
+
+    #[inline]
+    fn visit_jsx_attribute_name(&mut self, it: &JSXAttributeName<'a>) {
+        walk_jsx_attribute_name(self, it);
+    }
+
+    #[inline]
+    fn visit_jsx_attribute_value(&mut self, it: &JSXAttributeValue<'a>) {
+        walk_jsx_attribute_value(self, it);
+    }
+
+    #[inline]
+    fn visit_jsx_expression_container(&mut self, it: &JSXExpressionContainer<'a>) {
+        walk_jsx_expression_container(self, it);
+    }
+
+    #[inline]
+    fn visit_jsx_expression(&mut self, it: &JSXExpression<'a>) {
+        walk_jsx_expression(self, it);
+    }
+
+    #[inline]
+    fn visit_jsx_empty_expression(&mut self, it: &JSXEmptyExpression) {
+        walk_jsx_empty_expression(self, it);
+    }
+
+    #[inline]
+    fn visit_jsx_fragment(&mut self, it: &JSXFragment<'a>) {
+        walk_jsx_fragment(self, it);
+    }
+
+    #[inline]
+    fn visit_jsx_children(&mut self, it: &Vec<'a, JSXChild<'a>>) {
+        walk_jsx_children(self, it);
+    }
+
+    #[inline]
+    fn visit_jsx_child(&mut self, it: &JSXChild<'a>) {
+        walk_jsx_child(self, it);
+    }
+
+    #[inline]
+    fn visit_jsx_text(&mut self, it: &JSXText<'a>) {
+        walk_jsx_text(self, it);
+    }
+
+    #[inline]
+    fn visit_jsx_spread_child(&mut self, it: &JSXSpreadChild<'a>) {
+        walk_jsx_spread_child(self, it);
+    }
+
+    #[inline]
+    fn visit_jsx_spread_attribute(&mut self, it: &JSXSpreadAttribute<'a>) {
+        walk_jsx_spread_attribute(self, it);
+    }
+
+    #[inline]
+    fn visit_jsx_closing_element(&mut self, it: &JSXClosingElement<'a>) {
+        walk_jsx_closing_element(self, it);
+    }
+
+    #[inline]
+    fn visit_class_body(&mut self, it: &ClassBody<'a>) {
+        walk_class_body(self, it);
+    }
+
+    #[inline]
+    fn visit_class_elements(&mut self, it: &Vec<'a, ClassElement<'a>>) {
+        walk_class_elements(self, it);
+    }
+
+    #[inline]
+    fn visit_class_element(&mut self, it: &ClassElement<'a>) {
+        walk_class_element(self, it);
+    }
+
+    #[inline]
+    fn visit_static_block(&mut self, it: &StaticBlock<'a>) {
+        walk_static_block(self, it);
+    }
+
+    #[inline]
+    fn visit_method_definition(&mut self, it: &MethodDefinition<'a>) {
+        walk_method_definition(self, it);
+    }
+
+    #[inline]
+    fn visit_property_definition(&mut self, it: &PropertyDefinition<'a>) {
+        walk_property_definition(self, it);
+    }
+
+    #[inline]
+    fn visit_accessor_property(&mut self, it: &AccessorProperty<'a>) {
+        walk_accessor_property(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_class_implementses(&mut self, it: &Vec<'a, TSClassImplements<'a>>) {
+        walk_ts_class_implementses(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_class_implements(&mut self, it: &TSClassImplements<'a>) {
+        walk_ts_class_implements(self, it);
+    }
+
+    #[inline]
+    fn visit_empty_statement(&mut self, it: &EmptyStatement) {
+        walk_empty_statement(self, it);
+    }
+
+    #[inline]
+    fn visit_expression_statement(&mut self, it: &ExpressionStatement<'a>) {
+        walk_expression_statement(self, it);
+    }
+
+    #[inline]
+    fn visit_for_in_statement(&mut self, it: &ForInStatement<'a>) {
+        walk_for_in_statement(self, it);
+    }
+
+    #[inline]
+    fn visit_for_statement_left(&mut self, it: &ForStatementLeft<'a>) {
+        walk_for_statement_left(self, it);
+    }
+
+    #[inline]
+    fn visit_variable_declaration(&mut self, it: &VariableDeclaration<'a>) {
+        walk_variable_declaration(self, it);
+    }
+
+    #[inline]
+    fn visit_variable_declarators(&mut self, it: &Vec<'a, VariableDeclarator<'a>>) {
+        walk_variable_declarators(self, it);
+    }
+
+    #[inline]
+    fn visit_variable_declarator(&mut self, it: &VariableDeclarator<'a>) {
+        walk_variable_declarator(self, it);
+    }
+
+    #[inline]
+    fn visit_using_declaration(&mut self, it: &UsingDeclaration<'a>) {
+        walk_using_declaration(self, it);
+    }
+
+    #[inline]
+    fn visit_for_of_statement(&mut self, it: &ForOfStatement<'a>) {
+        walk_for_of_statement(self, it);
+    }
+
+    #[inline]
+    fn visit_for_statement(&mut self, it: &ForStatement<'a>) {
+        walk_for_statement(self, it);
+    }
+
+    #[inline]
+    fn visit_for_statement_init(&mut self, it: &ForStatementInit<'a>) {
+        walk_for_statement_init(self, it);
+    }
+
+    #[inline]
+    fn visit_if_statement(&mut self, it: &IfStatement<'a>) {
+        walk_if_statement(self, it);
+    }
+
+    #[inline]
+    fn visit_labeled_statement(&mut self, it: &LabeledStatement<'a>) {
+        walk_labeled_statement(self, it);
+    }
+
+    #[inline]
+    fn visit_return_statement(&mut self, it: &ReturnStatement<'a>) {
+        walk_return_statement(self, it);
+    }
+
+    #[inline]
+    fn visit_switch_statement(&mut self, it: &SwitchStatement<'a>) {
+        walk_switch_statement(self, it);
+    }
+
+    #[inline]
+    fn visit_switch_cases(&mut self, it: &Vec<'a, SwitchCase<'a>>) {
+        walk_switch_cases(self, it);
+    }
+
+    #[inline]
+    fn visit_switch_case(&mut self, it: &SwitchCase<'a>) {
+        walk_switch_case(self, it);
+    }
+
+    #[inline]
+    fn visit_throw_statement(&mut self, it: &ThrowStatement<'a>) {
+        walk_throw_statement(self, it);
+    }
+
+    #[inline]
+    fn visit_try_statement(&mut self, it: &TryStatement<'a>) {
+        walk_try_statement(self, it);
+    }
+
+    #[inline]
+    fn visit_catch_clause(&mut self, it: &CatchClause<'a>) {
+        walk_catch_clause(self, it);
+    }
+
+    #[inline]
+    fn visit_catch_parameter(&mut self, it: &CatchParameter<'a>) {
+        walk_catch_parameter(self, it);
+    }
+
+    #[inline]
+    fn visit_finally_clause(&mut self, it: &BlockStatement<'a>) {
+        walk_finally_clause(self, it);
+    }
+
+    #[inline]
+    fn visit_while_statement(&mut self, it: &WhileStatement<'a>) {
+        walk_while_statement(self, it);
+    }
+
+    #[inline]
+    fn visit_with_statement(&mut self, it: &WithStatement<'a>) {
+        walk_with_statement(self, it);
+    }
+
+    #[inline]
+    fn visit_declaration(&mut self, it: &Declaration<'a>) {
+        walk_declaration(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_type_alias_declaration(&mut self, it: &TSTypeAliasDeclaration<'a>) {
+        walk_ts_type_alias_declaration(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_interface_declaration(&mut self, it: &TSInterfaceDeclaration<'a>) {
+        walk_ts_interface_declaration(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_interface_heritages(&mut self, it: &Vec<'a, TSInterfaceHeritage<'a>>) {
+        walk_ts_interface_heritages(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_interface_heritage(&mut self, it: &TSInterfaceHeritage<'a>) {
+        walk_ts_interface_heritage(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_interface_body(&mut self, it: &TSInterfaceBody<'a>) {
+        walk_ts_interface_body(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_enum_declaration(&mut self, it: &TSEnumDeclaration<'a>) {
+        walk_ts_enum_declaration(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_enum_members(&mut self, it: &Vec<'a, TSEnumMember<'a>>) {
+        walk_ts_enum_members(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_enum_member(&mut self, it: &TSEnumMember<'a>) {
+        walk_ts_enum_member(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_enum_member_name(&mut self, it: &TSEnumMemberName<'a>) {
+        walk_ts_enum_member_name(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_module_declaration(&mut self, it: &TSModuleDeclaration<'a>) {
+        walk_ts_module_declaration(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_module_declaration_name(&mut self, it: &TSModuleDeclarationName<'a>) {
+        walk_ts_module_declaration_name(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_module_declaration_body(&mut self, it: &TSModuleDeclarationBody<'a>) {
+        walk_ts_module_declaration_body(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_module_block(&mut self, it: &TSModuleBlock<'a>) {
+        walk_ts_module_block(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_import_equals_declaration(&mut self, it: &TSImportEqualsDeclaration<'a>) {
+        walk_ts_import_equals_declaration(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_module_reference(&mut self, it: &TSModuleReference<'a>) {
+        walk_ts_module_reference(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_external_module_reference(&mut self, it: &TSExternalModuleReference<'a>) {
+        walk_ts_external_module_reference(self, it);
+    }
+
+    #[inline]
+    fn visit_module_declaration(&mut self, it: &ModuleDeclaration<'a>) {
+        walk_module_declaration(self, it);
+    }
+
+    #[inline]
+    fn visit_import_declaration(&mut self, it: &ImportDeclaration<'a>) {
+        walk_import_declaration(self, it);
+    }
+
+    #[inline]
+    fn visit_import_declaration_specifiers(
+        &mut self,
+        it: &Vec<'a, ImportDeclarationSpecifier<'a>>,
+    ) {
+        walk_import_declaration_specifiers(self, it);
+    }
+
+    #[inline]
+    fn visit_import_declaration_specifier(&mut self, it: &ImportDeclarationSpecifier<'a>) {
+        walk_import_declaration_specifier(self, it);
+    }
+
+    #[inline]
+    fn visit_import_specifier(&mut self, it: &ImportSpecifier<'a>) {
+        walk_import_specifier(self, it);
+    }
+
+    #[inline]
+    fn visit_module_export_name(&mut self, it: &ModuleExportName<'a>) {
+        walk_module_export_name(self, it);
+    }
+
+    #[inline]
+    fn visit_import_default_specifier(&mut self, it: &ImportDefaultSpecifier<'a>) {
+        walk_import_default_specifier(self, it);
+    }
+
+    #[inline]
+    fn visit_import_namespace_specifier(&mut self, it: &ImportNamespaceSpecifier<'a>) {
+        walk_import_namespace_specifier(self, it);
+    }
+
+    #[inline]
+    fn visit_with_clause(&mut self, it: &WithClause<'a>) {
+        walk_with_clause(self, it);
+    }
+
+    #[inline]
+    fn visit_import_attributes(&mut self, it: &Vec<'a, ImportAttribute<'a>>) {
+        walk_import_attributes(self, it);
+    }
+
+    #[inline]
+    fn visit_import_attribute(&mut self, it: &ImportAttribute<'a>) {
+        walk_import_attribute(self, it);
+    }
+
+    #[inline]
+    fn visit_import_attribute_key(&mut self, it: &ImportAttributeKey<'a>) {
+        walk_import_attribute_key(self, it);
+    }
+
+    #[inline]
+    fn visit_export_all_declaration(&mut self, it: &ExportAllDeclaration<'a>) {
+        walk_export_all_declaration(self, it);
+    }
+
+    #[inline]
+    fn visit_export_default_declaration(&mut self, it: &ExportDefaultDeclaration<'a>) {
+        walk_export_default_declaration(self, it);
+    }
+
+    #[inline]
+    fn visit_export_default_declaration_kind(&mut self, it: &ExportDefaultDeclarationKind<'a>) {
+        walk_export_default_declaration_kind(self, it);
+    }
+
+    #[inline]
+    fn visit_export_named_declaration(&mut self, it: &ExportNamedDeclaration<'a>) {
+        walk_export_named_declaration(self, it);
+    }
+
+    #[inline]
+    fn visit_export_specifiers(&mut self, it: &Vec<'a, ExportSpecifier<'a>>) {
+        walk_export_specifiers(self, it);
+    }
+
+    #[inline]
+    fn visit_export_specifier(&mut self, it: &ExportSpecifier<'a>) {
+        walk_export_specifier(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_export_assignment(&mut self, it: &TSExportAssignment<'a>) {
+        walk_ts_export_assignment(self, it);
+    }
+
+    #[inline]
+    fn visit_ts_namespace_export_declaration(&mut self, it: &TSNamespaceExportDeclaration<'a>) {
+        walk_ts_namespace_export_declaration(self, it);
+    }
+}
+
+pub mod walk {
+    use super::*;
+
+    pub fn walk_program<'a, V: Visit<'a>>(visitor: &mut V, it: &Program<'a>) {
+        visitor.enter_scope({
+            let mut flags = ScopeFlags::Top;
+            if it.source_type.is_strict() || it.directives.iter().any(Directive::is_use_strict) {
+                flags |= ScopeFlags::StrictMode;
+            }
+            flags
+        });
+        let kind = AstKind::Program(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_directives(&it.directives);
+        if let Some(ref hashbang) = it.hashbang {
+            visitor.visit_hashbang(hashbang);
+        }
+        visitor.visit_statements(&it.body);
+        visitor.leave_node(kind);
+        visitor.leave_scope();
+    }
+
+    pub fn walk_directives<'a, V: Visit<'a>>(visitor: &mut V, it: &Vec<'a, Directive<'a>>) {
+        for el in it {
+            visitor.visit_directive(el);
+        }
+    }
+
+    pub fn walk_directive<'a, V: Visit<'a>>(visitor: &mut V, it: &Directive<'a>) {
+        let kind = AstKind::Directive(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_string_literal(&it.expression);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_string_literal<'a, V: Visit<'a>>(visitor: &mut V, it: &StringLiteral<'a>) {
+        let kind = AstKind::StringLiteral(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_hashbang<'a, V: Visit<'a>>(visitor: &mut V, it: &Hashbang<'a>) {
+        let kind = AstKind::Hashbang(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_statements<'a, V: Visit<'a>>(visitor: &mut V, it: &Vec<'a, Statement<'a>>) {
+        for el in it {
+            visitor.visit_statement(el);
+        }
+    }
+
+    pub fn walk_statement<'a, V: Visit<'a>>(visitor: &mut V, it: &Statement<'a>) {
+        match it {
+            Statement::BlockStatement(it) => visitor.visit_block_statement(it),
+            Statement::BreakStatement(it) => visitor.visit_break_statement(it),
+            Statement::ContinueStatement(it) => visitor.visit_continue_statement(it),
+            Statement::DebuggerStatement(it) => visitor.visit_debugger_statement(it),
+            Statement::DoWhileStatement(it) => visitor.visit_do_while_statement(it),
+            Statement::EmptyStatement(it) => visitor.visit_empty_statement(it),
+            Statement::ExpressionStatement(it) => visitor.visit_expression_statement(it),
+            Statement::ForInStatement(it) => visitor.visit_for_in_statement(it),
+            Statement::ForOfStatement(it) => visitor.visit_for_of_statement(it),
+            Statement::ForStatement(it) => visitor.visit_for_statement(it),
+            Statement::IfStatement(it) => visitor.visit_if_statement(it),
+            Statement::LabeledStatement(it) => visitor.visit_labeled_statement(it),
+            Statement::ReturnStatement(it) => visitor.visit_return_statement(it),
+            Statement::SwitchStatement(it) => visitor.visit_switch_statement(it),
+            Statement::ThrowStatement(it) => visitor.visit_throw_statement(it),
+            Statement::TryStatement(it) => visitor.visit_try_statement(it),
+            Statement::WhileStatement(it) => visitor.visit_while_statement(it),
+            Statement::WithStatement(it) => visitor.visit_with_statement(it),
+            match_declaration!(Statement) => visitor.visit_declaration(it.to_declaration()),
+            match_module_declaration!(Statement) => {
+                visitor.visit_module_declaration(it.to_module_declaration())
+            }
+        }
+    }
+
+    pub fn walk_block_statement<'a, V: Visit<'a>>(visitor: &mut V, it: &BlockStatement<'a>) {
+        visitor.enter_scope(ScopeFlags::empty());
+        let kind = AstKind::BlockStatement(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_statements(&it.body);
+        visitor.leave_node(kind);
+        visitor.leave_scope();
+    }
+
+    pub fn walk_break_statement<'a, V: Visit<'a>>(visitor: &mut V, it: &BreakStatement<'a>) {
+        let kind = AstKind::BreakStatement(visitor.alloc(it));
+        visitor.enter_node(kind);
+        if let Some(ref label) = it.label {
+            visitor.visit_label_identifier(label);
+        }
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_label_identifier<'a, V: Visit<'a>>(visitor: &mut V, it: &LabelIdentifier<'a>) {
+        let kind = AstKind::LabelIdentifier(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_continue_statement<'a, V: Visit<'a>>(visitor: &mut V, it: &ContinueStatement<'a>) {
+        let kind = AstKind::ContinueStatement(visitor.alloc(it));
+        visitor.enter_node(kind);
+        if let Some(ref label) = it.label {
+            visitor.visit_label_identifier(label);
+        }
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_debugger_statement<'a, V: Visit<'a>>(visitor: &mut V, it: &DebuggerStatement) {
+        let kind = AstKind::DebuggerStatement(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_do_while_statement<'a, V: Visit<'a>>(visitor: &mut V, it: &DoWhileStatement<'a>) {
+        let kind = AstKind::DoWhileStatement(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_statement(&it.body);
+        visitor.visit_expression(&it.test);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_expression<'a, V: Visit<'a>>(visitor: &mut V, it: &Expression<'a>) {
+        match it {
+            Expression::BooleanLiteral(it) => visitor.visit_boolean_literal(it),
+            Expression::NullLiteral(it) => visitor.visit_null_literal(it),
+            Expression::NumericLiteral(it) => visitor.visit_numeric_literal(it),
+            Expression::BigIntLiteral(it) => visitor.visit_big_int_literal(it),
+            Expression::RegExpLiteral(it) => visitor.visit_reg_exp_literal(it),
+            Expression::StringLiteral(it) => visitor.visit_string_literal(it),
+            Expression::TemplateLiteral(it) => visitor.visit_template_literal(it),
+            Expression::Identifier(it) => visitor.visit_identifier_reference(it),
+            Expression::MetaProperty(it) => visitor.visit_meta_property(it),
+            Expression::Super(it) => visitor.visit_super(it),
+            Expression::ArrayExpression(it) => visitor.visit_array_expression(it),
+            Expression::ArrowFunctionExpression(it) => visitor.visit_arrow_function_expression(it),
+            Expression::AssignmentExpression(it) => visitor.visit_assignment_expression(it),
+            Expression::AwaitExpression(it) => visitor.visit_await_expression(it),
+            Expression::BinaryExpression(it) => visitor.visit_binary_expression(it),
+            Expression::CallExpression(it) => visitor.visit_call_expression(it),
+            Expression::ChainExpression(it) => visitor.visit_chain_expression(it),
+            Expression::ClassExpression(it) => visitor.visit_class(it),
+            Expression::ConditionalExpression(it) => visitor.visit_conditional_expression(it),
+            Expression::FunctionExpression(it) => {
+                let flags = None;
+                visitor.visit_function(it, flags)
+            }
+            Expression::ImportExpression(it) => visitor.visit_import_expression(it),
+            Expression::LogicalExpression(it) => visitor.visit_logical_expression(it),
+            Expression::NewExpression(it) => visitor.visit_new_expression(it),
+            Expression::ObjectExpression(it) => visitor.visit_object_expression(it),
+            Expression::ParenthesizedExpression(it) => visitor.visit_parenthesized_expression(it),
+            Expression::SequenceExpression(it) => visitor.visit_sequence_expression(it),
+            Expression::TaggedTemplateExpression(it) => {
+                visitor.visit_tagged_template_expression(it)
+            }
+            Expression::ThisExpression(it) => visitor.visit_this_expression(it),
+            Expression::UnaryExpression(it) => visitor.visit_unary_expression(it),
+            Expression::UpdateExpression(it) => visitor.visit_update_expression(it),
+            Expression::YieldExpression(it) => visitor.visit_yield_expression(it),
+            Expression::PrivateInExpression(it) => visitor.visit_private_in_expression(it),
+            Expression::JSXElement(it) => visitor.visit_jsx_element(it),
+            Expression::JSXFragment(it) => visitor.visit_jsx_fragment(it),
+            Expression::TSAsExpression(it) => visitor.visit_ts_as_expression(it),
+            Expression::TSSatisfiesExpression(it) => visitor.visit_ts_satisfies_expression(it),
+            Expression::TSTypeAssertion(it) => visitor.visit_ts_type_assertion(it),
+            Expression::TSNonNullExpression(it) => visitor.visit_ts_non_null_expression(it),
+            Expression::TSInstantiationExpression(it) => {
+                visitor.visit_ts_instantiation_expression(it)
+            }
+            match_member_expression!(Expression) => {
+                visitor.visit_member_expression(it.to_member_expression())
+            }
+        }
+    }
+
+    pub fn walk_boolean_literal<'a, V: Visit<'a>>(visitor: &mut V, it: &BooleanLiteral) {
+        let kind = AstKind::BooleanLiteral(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_null_literal<'a, V: Visit<'a>>(visitor: &mut V, it: &NullLiteral) {
+        let kind = AstKind::NullLiteral(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_numeric_literal<'a, V: Visit<'a>>(visitor: &mut V, it: &NumericLiteral<'a>) {
+        let kind = AstKind::NumericLiteral(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_big_int_literal<'a, V: Visit<'a>>(visitor: &mut V, it: &BigIntLiteral<'a>) {
+        let kind = AstKind::BigIntLiteral(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_reg_exp_literal<'a, V: Visit<'a>>(visitor: &mut V, it: &RegExpLiteral<'a>) {
+        let kind = AstKind::RegExpLiteral(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_template_literal<'a, V: Visit<'a>>(visitor: &mut V, it: &TemplateLiteral<'a>) {
+        let kind = AstKind::TemplateLiteral(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_template_elements(&it.quasis);
+        visitor.visit_expressions(&it.expressions);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_template_elements<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &Vec<'a, TemplateElement<'a>>,
+    ) {
+        for el in it {
+            visitor.visit_template_element(el);
+        }
+    }
+
+    pub fn walk_template_element<'a, V: Visit<'a>>(visitor: &mut V, it: &TemplateElement<'a>) {
+        // NOTE: AstKind doesn't exists!
+        let _ = (visitor, it);
+    }
+
+    pub fn walk_expressions<'a, V: Visit<'a>>(visitor: &mut V, it: &Vec<'a, Expression<'a>>) {
+        for el in it {
+            visitor.visit_expression(el);
+        }
+    }
+
+    pub fn walk_identifier_reference<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &IdentifierReference<'a>,
+    ) {
+        let kind = AstKind::IdentifierReference(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_meta_property<'a, V: Visit<'a>>(visitor: &mut V, it: &MetaProperty<'a>) {
+        let kind = AstKind::MetaProperty(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_identifier_name(&it.meta);
+        visitor.visit_identifier_name(&it.property);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_identifier_name<'a, V: Visit<'a>>(visitor: &mut V, it: &IdentifierName<'a>) {
+        let kind = AstKind::IdentifierName(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_super<'a, V: Visit<'a>>(visitor: &mut V, it: &Super) {
+        let kind = AstKind::Super(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_array_expression<'a, V: Visit<'a>>(visitor: &mut V, it: &ArrayExpression<'a>) {
+        let kind = AstKind::ArrayExpression(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_array_expression_elements(&it.elements);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_array_expression_elements<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &Vec<'a, ArrayExpressionElement<'a>>,
+    ) {
+        for el in it {
+            visitor.visit_array_expression_element(el);
+        }
+    }
+
+    pub fn walk_array_expression_element<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &ArrayExpressionElement<'a>,
+    ) {
+        let kind = AstKind::ArrayExpressionElement(visitor.alloc(it));
+        visitor.enter_node(kind);
+        match it {
+            ArrayExpressionElement::SpreadElement(it) => visitor.visit_spread_element(it),
+            ArrayExpressionElement::Elision(it) => visitor.visit_elision(it),
+            match_expression!(ArrayExpressionElement) => {
+                visitor.visit_expression_array_element(it.to_expression())
+            }
+        }
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_spread_element<'a, V: Visit<'a>>(visitor: &mut V, it: &SpreadElement<'a>) {
+        let kind = AstKind::SpreadElement(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_expression(&it.argument);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_elision<'a, V: Visit<'a>>(visitor: &mut V, it: &Elision) {
+        let kind = AstKind::Elision(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_expression_array_element<'a, V: Visit<'a>>(visitor: &mut V, it: &Expression<'a>) {
+        let kind = AstKind::ExpressionArrayElement(visitor.alloc(it));
+        visitor.enter_node(kind);
+        match it {
+            Expression::BooleanLiteral(it) => visitor.visit_boolean_literal(it),
+            Expression::NullLiteral(it) => visitor.visit_null_literal(it),
+            Expression::NumericLiteral(it) => visitor.visit_numeric_literal(it),
+            Expression::BigIntLiteral(it) => visitor.visit_big_int_literal(it),
+            Expression::RegExpLiteral(it) => visitor.visit_reg_exp_literal(it),
+            Expression::StringLiteral(it) => visitor.visit_string_literal(it),
+            Expression::TemplateLiteral(it) => visitor.visit_template_literal(it),
+            Expression::Identifier(it) => visitor.visit_identifier_reference(it),
+            Expression::MetaProperty(it) => visitor.visit_meta_property(it),
+            Expression::Super(it) => visitor.visit_super(it),
+            Expression::ArrayExpression(it) => visitor.visit_array_expression(it),
+            Expression::ArrowFunctionExpression(it) => visitor.visit_arrow_function_expression(it),
+            Expression::AssignmentExpression(it) => visitor.visit_assignment_expression(it),
+            Expression::AwaitExpression(it) => visitor.visit_await_expression(it),
+            Expression::BinaryExpression(it) => visitor.visit_binary_expression(it),
+            Expression::CallExpression(it) => visitor.visit_call_expression(it),
+            Expression::ChainExpression(it) => visitor.visit_chain_expression(it),
+            Expression::ClassExpression(it) => visitor.visit_class(it),
+            Expression::ConditionalExpression(it) => visitor.visit_conditional_expression(it),
+            Expression::FunctionExpression(it) => {
+                let flags = None;
+                visitor.visit_function(it, flags)
+            }
+            Expression::ImportExpression(it) => visitor.visit_import_expression(it),
+            Expression::LogicalExpression(it) => visitor.visit_logical_expression(it),
+            Expression::NewExpression(it) => visitor.visit_new_expression(it),
+            Expression::ObjectExpression(it) => visitor.visit_object_expression(it),
+            Expression::ParenthesizedExpression(it) => visitor.visit_parenthesized_expression(it),
+            Expression::SequenceExpression(it) => visitor.visit_sequence_expression(it),
+            Expression::TaggedTemplateExpression(it) => {
+                visitor.visit_tagged_template_expression(it)
+            }
+            Expression::ThisExpression(it) => visitor.visit_this_expression(it),
+            Expression::UnaryExpression(it) => visitor.visit_unary_expression(it),
+            Expression::UpdateExpression(it) => visitor.visit_update_expression(it),
+            Expression::YieldExpression(it) => visitor.visit_yield_expression(it),
+            Expression::PrivateInExpression(it) => visitor.visit_private_in_expression(it),
+            Expression::JSXElement(it) => visitor.visit_jsx_element(it),
+            Expression::JSXFragment(it) => visitor.visit_jsx_fragment(it),
+            Expression::TSAsExpression(it) => visitor.visit_ts_as_expression(it),
+            Expression::TSSatisfiesExpression(it) => visitor.visit_ts_satisfies_expression(it),
+            Expression::TSTypeAssertion(it) => visitor.visit_ts_type_assertion(it),
+            Expression::TSNonNullExpression(it) => visitor.visit_ts_non_null_expression(it),
+            Expression::TSInstantiationExpression(it) => {
+                visitor.visit_ts_instantiation_expression(it)
+            }
+            match_member_expression!(Expression) => {
+                visitor.visit_member_expression(it.to_member_expression())
+            }
+        }
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_arrow_function_expression<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &ArrowFunctionExpression<'a>,
+    ) {
+        visitor.enter_scope({
+            let mut flags = ScopeFlags::Function | ScopeFlags::Arrow;
+            if it.body.has_use_strict_directive() {
+                flags |= ScopeFlags::StrictMode;
+            }
+            flags
+        });
+        let kind = AstKind::ArrowFunctionExpression(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_formal_parameters(&it.params);
+        visitor.visit_function_body(&it.body);
+        if let Some(ref type_parameters) = it.type_parameters {
+            visitor.visit_ts_type_parameter_declaration(type_parameters);
+        }
+        if let Some(ref return_type) = it.return_type {
+            visitor.visit_ts_type_annotation(return_type);
+        }
+        visitor.leave_node(kind);
+        visitor.leave_scope();
+    }
+
+    pub fn walk_formal_parameters<'a, V: Visit<'a>>(visitor: &mut V, it: &FormalParameters<'a>) {
+        let kind = AstKind::FormalParameters(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_formal_parameter_list(&it.items);
+        if let Some(ref rest) = it.rest {
+            visitor.visit_binding_rest_element(rest);
+        }
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_formal_parameter_list<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &Vec<'a, FormalParameter<'a>>,
+    ) {
+        for el in it {
+            visitor.visit_formal_parameter(el);
+        }
+    }
+
+    pub fn walk_formal_parameter<'a, V: Visit<'a>>(visitor: &mut V, it: &FormalParameter<'a>) {
+        let kind = AstKind::FormalParameter(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_binding_pattern(&it.pattern);
+        visitor.visit_decorators(&it.decorators);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_binding_pattern<'a, V: Visit<'a>>(visitor: &mut V, it: &BindingPattern<'a>) {
+        // NOTE: AstKind doesn't exists!
+        visitor.visit_binding_pattern_kind(&it.kind);
+        if let Some(ref type_annotation) = it.type_annotation {
+            visitor.visit_ts_type_annotation(type_annotation);
+        }
+    }
+
+    pub fn walk_binding_pattern_kind<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &BindingPatternKind<'a>,
+    ) {
+        match it {
+            BindingPatternKind::BindingIdentifier(it) => visitor.visit_binding_identifier(it),
+            BindingPatternKind::ObjectPattern(it) => visitor.visit_object_pattern(it),
+            BindingPatternKind::ArrayPattern(it) => visitor.visit_array_pattern(it),
+            BindingPatternKind::AssignmentPattern(it) => visitor.visit_assignment_pattern(it),
+        }
+    }
+
+    pub fn walk_binding_identifier<'a, V: Visit<'a>>(visitor: &mut V, it: &BindingIdentifier<'a>) {
+        let kind = AstKind::BindingIdentifier(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_object_pattern<'a, V: Visit<'a>>(visitor: &mut V, it: &ObjectPattern<'a>) {
+        let kind = AstKind::ObjectPattern(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_binding_properties(&it.properties);
+        if let Some(ref rest) = it.rest {
+            visitor.visit_binding_rest_element(rest);
+        }
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_binding_properties<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &Vec<'a, BindingProperty<'a>>,
+    ) {
+        for el in it {
+            visitor.visit_binding_property(el);
+        }
+    }
+
+    pub fn walk_binding_property<'a, V: Visit<'a>>(visitor: &mut V, it: &BindingProperty<'a>) {
+        // NOTE: AstKind doesn't exists!
+        visitor.visit_property_key(&it.key);
+        visitor.visit_binding_pattern(&it.value);
+    }
+
+    pub fn walk_property_key<'a, V: Visit<'a>>(visitor: &mut V, it: &PropertyKey<'a>) {
+        let kind = AstKind::PropertyKey(visitor.alloc(it));
+        visitor.enter_node(kind);
+        match it {
+            PropertyKey::StaticIdentifier(it) => visitor.visit_identifier_name(it),
+            PropertyKey::PrivateIdentifier(it) => visitor.visit_private_identifier(it),
+            match_expression!(PropertyKey) => visitor.visit_expression(it.to_expression()),
+        }
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_private_identifier<'a, V: Visit<'a>>(visitor: &mut V, it: &PrivateIdentifier<'a>) {
+        let kind = AstKind::PrivateIdentifier(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_binding_rest_element<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &BindingRestElement<'a>,
+    ) {
+        let kind = AstKind::BindingRestElement(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_binding_pattern(&it.argument);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_array_pattern<'a, V: Visit<'a>>(visitor: &mut V, it: &ArrayPattern<'a>) {
+        let kind = AstKind::ArrayPattern(visitor.alloc(it));
+        visitor.enter_node(kind);
+        for elements in (&it.elements).into_iter().flatten() {
+            visitor.visit_binding_pattern(elements);
+        }
+        if let Some(ref rest) = it.rest {
+            visitor.visit_binding_rest_element(rest);
+        }
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_assignment_pattern<'a, V: Visit<'a>>(visitor: &mut V, it: &AssignmentPattern<'a>) {
+        let kind = AstKind::AssignmentPattern(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_binding_pattern(&it.left);
+        visitor.visit_expression(&it.right);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_ts_type_annotation<'a, V: Visit<'a>>(visitor: &mut V, it: &TSTypeAnnotation<'a>) {
+        let kind = AstKind::TSTypeAnnotation(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_ts_type(&it.type_annotation);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_ts_type<'a, V: Visit<'a>>(visitor: &mut V, it: &TSType<'a>) {
+        match it {
+            TSType::TSAnyKeyword(it) => visitor.visit_ts_any_keyword(it),
+            TSType::TSBigIntKeyword(it) => visitor.visit_ts_big_int_keyword(it),
+            TSType::TSBooleanKeyword(it) => visitor.visit_ts_boolean_keyword(it),
+            TSType::TSIntrinsicKeyword(it) => visitor.visit_ts_intrinsic_keyword(it),
+            TSType::TSNeverKeyword(it) => visitor.visit_ts_never_keyword(it),
+            TSType::TSNullKeyword(it) => visitor.visit_ts_null_keyword(it),
+            TSType::TSNumberKeyword(it) => visitor.visit_ts_number_keyword(it),
+            TSType::TSObjectKeyword(it) => visitor.visit_ts_object_keyword(it),
+            TSType::TSStringKeyword(it) => visitor.visit_ts_string_keyword(it),
+            TSType::TSSymbolKeyword(it) => visitor.visit_ts_symbol_keyword(it),
+            TSType::TSUndefinedKeyword(it) => visitor.visit_ts_undefined_keyword(it),
+            TSType::TSUnknownKeyword(it) => visitor.visit_ts_unknown_keyword(it),
+            TSType::TSVoidKeyword(it) => visitor.visit_ts_void_keyword(it),
+            TSType::TSArrayType(it) => visitor.visit_ts_array_type(it),
+            TSType::TSConditionalType(it) => visitor.visit_ts_conditional_type(it),
+            TSType::TSConstructorType(it) => visitor.visit_ts_constructor_type(it),
+            TSType::TSFunctionType(it) => visitor.visit_ts_function_type(it),
+            TSType::TSImportType(it) => visitor.visit_ts_import_type(it),
+            TSType::TSIndexedAccessType(it) => visitor.visit_ts_indexed_access_type(it),
+            TSType::TSInferType(it) => visitor.visit_ts_infer_type(it),
+            TSType::TSIntersectionType(it) => visitor.visit_ts_intersection_type(it),
+            TSType::TSLiteralType(it) => visitor.visit_ts_literal_type(it),
+            TSType::TSMappedType(it) => visitor.visit_ts_mapped_type(it),
+            TSType::TSNamedTupleMember(it) => visitor.visit_ts_named_tuple_member(it),
+            TSType::TSQualifiedName(it) => visitor.visit_ts_qualified_name(it),
+            TSType::TSTemplateLiteralType(it) => visitor.visit_ts_template_literal_type(it),
+            TSType::TSThisType(it) => visitor.visit_ts_this_type(it),
+            TSType::TSTupleType(it) => visitor.visit_ts_tuple_type(it),
+            TSType::TSTypeLiteral(it) => visitor.visit_ts_type_literal(it),
+            TSType::TSTypeOperatorType(it) => visitor.visit_ts_type_operator(it),
+            TSType::TSTypePredicate(it) => visitor.visit_ts_type_predicate(it),
+            TSType::TSTypeQuery(it) => visitor.visit_ts_type_query(it),
+            TSType::TSTypeReference(it) => visitor.visit_ts_type_reference(it),
+            TSType::TSUnionType(it) => visitor.visit_ts_union_type(it),
+            TSType::TSParenthesizedType(it) => visitor.visit_ts_parenthesized_type(it),
+            TSType::JSDocNullableType(it) => visitor.visit_js_doc_nullable_type(it),
+            TSType::JSDocNonNullableType(it) => visitor.visit_js_doc_non_nullable_type(it),
+            TSType::JSDocUnknownType(it) => visitor.visit_js_doc_unknown_type(it),
+        }
+    }
+
+    pub fn walk_ts_any_keyword<'a, V: Visit<'a>>(visitor: &mut V, it: &TSAnyKeyword) {
+        let kind = AstKind::TSAnyKeyword(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_ts_big_int_keyword<'a, V: Visit<'a>>(visitor: &mut V, it: &TSBigIntKeyword) {
+        let kind = AstKind::TSBigIntKeyword(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_ts_boolean_keyword<'a, V: Visit<'a>>(visitor: &mut V, it: &TSBooleanKeyword) {
+        let kind = AstKind::TSBooleanKeyword(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_ts_intrinsic_keyword<'a, V: Visit<'a>>(visitor: &mut V, it: &TSIntrinsicKeyword) {
+        let kind = AstKind::TSIntrinsicKeyword(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_ts_never_keyword<'a, V: Visit<'a>>(visitor: &mut V, it: &TSNeverKeyword) {
+        let kind = AstKind::TSNeverKeyword(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_ts_null_keyword<'a, V: Visit<'a>>(visitor: &mut V, it: &TSNullKeyword) {
+        let kind = AstKind::TSNullKeyword(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_ts_number_keyword<'a, V: Visit<'a>>(visitor: &mut V, it: &TSNumberKeyword) {
+        let kind = AstKind::TSNumberKeyword(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_ts_object_keyword<'a, V: Visit<'a>>(visitor: &mut V, it: &TSObjectKeyword) {
+        let kind = AstKind::TSObjectKeyword(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_ts_string_keyword<'a, V: Visit<'a>>(visitor: &mut V, it: &TSStringKeyword) {
+        let kind = AstKind::TSStringKeyword(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_ts_symbol_keyword<'a, V: Visit<'a>>(visitor: &mut V, it: &TSSymbolKeyword) {
+        let kind = AstKind::TSSymbolKeyword(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_ts_undefined_keyword<'a, V: Visit<'a>>(visitor: &mut V, it: &TSUndefinedKeyword) {
+        let kind = AstKind::TSUndefinedKeyword(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_ts_unknown_keyword<'a, V: Visit<'a>>(visitor: &mut V, it: &TSUnknownKeyword) {
+        let kind = AstKind::TSUnknownKeyword(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_ts_void_keyword<'a, V: Visit<'a>>(visitor: &mut V, it: &TSVoidKeyword) {
+        let kind = AstKind::TSVoidKeyword(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_ts_array_type<'a, V: Visit<'a>>(visitor: &mut V, it: &TSArrayType<'a>) {
+        // NOTE: AstKind doesn't exists!
+        visitor.visit_ts_type(&it.element_type);
+    }
+
+    pub fn walk_ts_conditional_type<'a, V: Visit<'a>>(visitor: &mut V, it: &TSConditionalType<'a>) {
+        // NOTE: AstKind doesn't exists!
+        visitor.visit_ts_type(&it.check_type);
+        visitor.visit_ts_type(&it.extends_type);
+        visitor.visit_ts_type(&it.true_type);
+        visitor.visit_ts_type(&it.false_type);
+    }
+
+    pub fn walk_ts_constructor_type<'a, V: Visit<'a>>(visitor: &mut V, it: &TSConstructorType<'a>) {
+        // NOTE: AstKind doesn't exists!
+        visitor.visit_formal_parameters(&it.params);
+        visitor.visit_ts_type_annotation(&it.return_type);
+        if let Some(ref type_parameters) = it.type_parameters {
+            visitor.visit_ts_type_parameter_declaration(type_parameters);
+        }
+    }
+
+    pub fn walk_ts_type_parameter_declaration<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &TSTypeParameterDeclaration<'a>,
+    ) {
+        let kind = AstKind::TSTypeParameterDeclaration(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_ts_type_parameters(&it.params);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_ts_type_parameters<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &Vec<'a, TSTypeParameter<'a>>,
+    ) {
+        for el in it {
+            visitor.visit_ts_type_parameter(el);
+        }
+    }
+
+    pub fn walk_ts_type_parameter<'a, V: Visit<'a>>(visitor: &mut V, it: &TSTypeParameter<'a>) {
+        visitor.enter_scope(ScopeFlags::empty());
+        let kind = AstKind::TSTypeParameter(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_binding_identifier(&it.name);
+        if let Some(ref constraint) = it.constraint {
+            visitor.visit_ts_type(constraint);
+        }
+        if let Some(ref default) = it.default {
+            visitor.visit_ts_type(default);
+        }
+        visitor.leave_node(kind);
+        visitor.leave_scope();
+    }
+
+    pub fn walk_ts_function_type<'a, V: Visit<'a>>(visitor: &mut V, it: &TSFunctionType<'a>) {
+        // NOTE: AstKind doesn't exists!
+        if let Some(ref this_param) = it.this_param {
+            visitor.visit_ts_this_parameter(this_param);
+        }
+        visitor.visit_formal_parameters(&it.params);
+        visitor.visit_ts_type_annotation(&it.return_type);
+        if let Some(ref type_parameters) = it.type_parameters {
+            visitor.visit_ts_type_parameter_declaration(type_parameters);
+        }
+    }
+
+    pub fn walk_ts_this_parameter<'a, V: Visit<'a>>(visitor: &mut V, it: &TSThisParameter<'a>) {
+        let kind = AstKind::TSThisParameter(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_identifier_name(&it.this);
+        if let Some(ref type_annotation) = it.type_annotation {
+            visitor.visit_ts_type_annotation(type_annotation);
+        }
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_ts_import_type<'a, V: Visit<'a>>(visitor: &mut V, it: &TSImportType<'a>) {
+        let kind = AstKind::TSImportType(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_ts_type(&it.parameter);
+        if let Some(ref qualifier) = it.qualifier {
+            visitor.visit_ts_type_name(qualifier);
+        }
+        if let Some(ref attributes) = it.attributes {
+            visitor.visit_ts_import_attributes(attributes);
+        }
+        if let Some(ref type_parameters) = it.type_parameters {
+            visitor.visit_ts_type_parameter_instantiation(type_parameters);
+        }
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_ts_type_name<'a, V: Visit<'a>>(visitor: &mut V, it: &TSTypeName<'a>) {
+        let kind = AstKind::TSTypeName(visitor.alloc(it));
+        visitor.enter_node(kind);
+        match it {
+            TSTypeName::IdentifierReference(it) => visitor.visit_identifier_reference(it),
+            TSTypeName::QualifiedName(it) => visitor.visit_ts_qualified_name(it),
+        }
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_ts_qualified_name<'a, V: Visit<'a>>(visitor: &mut V, it: &TSQualifiedName<'a>) {
+        let kind = AstKind::TSQualifiedName(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_ts_type_name(&it.left);
+        visitor.visit_identifier_name(&it.right);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_ts_import_attributes<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &TSImportAttributes<'a>,
+    ) {
+        // NOTE: AstKind doesn't exists!
+        visitor.visit_ts_import_attribute_list(&it.elements);
+    }
+
+    pub fn walk_ts_import_attribute_list<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &Vec<'a, TSImportAttribute<'a>>,
+    ) {
+        for el in it {
+            visitor.visit_ts_import_attribute(el);
+        }
+    }
+
+    pub fn walk_ts_import_attribute<'a, V: Visit<'a>>(visitor: &mut V, it: &TSImportAttribute<'a>) {
+        // NOTE: AstKind doesn't exists!
+        visitor.visit_ts_import_attribute_name(&it.name);
+        visitor.visit_expression(&it.value);
+    }
+
+    pub fn walk_ts_import_attribute_name<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &TSImportAttributeName<'a>,
+    ) {
+        match it {
+            TSImportAttributeName::Identifier(it) => visitor.visit_identifier_name(it),
+            TSImportAttributeName::StringLiteral(it) => visitor.visit_string_literal(it),
+        }
+    }
+
+    pub fn walk_ts_type_parameter_instantiation<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &TSTypeParameterInstantiation<'a>,
+    ) {
+        let kind = AstKind::TSTypeParameterInstantiation(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_ts_types(&it.params);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_ts_types<'a, V: Visit<'a>>(visitor: &mut V, it: &Vec<'a, TSType<'a>>) {
+        for el in it {
+            visitor.visit_ts_type(el);
+        }
+    }
+
+    pub fn walk_ts_indexed_access_type<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &TSIndexedAccessType<'a>,
+    ) {
+        let kind = AstKind::TSIndexedAccessType(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_ts_type(&it.object_type);
+        visitor.visit_ts_type(&it.index_type);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_ts_infer_type<'a, V: Visit<'a>>(visitor: &mut V, it: &TSInferType<'a>) {
+        let kind = AstKind::TSInferType(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_ts_type_parameter(&it.type_parameter);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_ts_intersection_type<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &TSIntersectionType<'a>,
+    ) {
+        let kind = AstKind::TSIntersectionType(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_ts_types(&it.types);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_ts_literal_type<'a, V: Visit<'a>>(visitor: &mut V, it: &TSLiteralType<'a>) {
+        let kind = AstKind::TSLiteralType(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_ts_literal(&it.literal);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_ts_literal<'a, V: Visit<'a>>(visitor: &mut V, it: &TSLiteral<'a>) {
+        match it {
+            TSLiteral::BooleanLiteral(it) => visitor.visit_boolean_literal(it),
+            TSLiteral::NullLiteral(it) => visitor.visit_null_literal(it),
+            TSLiteral::NumericLiteral(it) => visitor.visit_numeric_literal(it),
+            TSLiteral::BigIntLiteral(it) => visitor.visit_big_int_literal(it),
+            TSLiteral::RegExpLiteral(it) => visitor.visit_reg_exp_literal(it),
+            TSLiteral::StringLiteral(it) => visitor.visit_string_literal(it),
+            TSLiteral::TemplateLiteral(it) => visitor.visit_template_literal(it),
+            TSLiteral::UnaryExpression(it) => visitor.visit_unary_expression(it),
+        }
+    }
+
+    pub fn walk_unary_expression<'a, V: Visit<'a>>(visitor: &mut V, it: &UnaryExpression<'a>) {
+        let kind = AstKind::UnaryExpression(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_expression(&it.argument);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_ts_mapped_type<'a, V: Visit<'a>>(visitor: &mut V, it: &TSMappedType<'a>) {
+        // NOTE: AstKind doesn't exists!
+        visitor.visit_ts_type_parameter(&it.type_parameter);
+        if let Some(ref name_type) = it.name_type {
+            visitor.visit_ts_type(name_type);
+        }
+        if let Some(ref type_annotation) = it.type_annotation {
+            visitor.visit_ts_type(type_annotation);
+        }
+    }
+
+    pub fn walk_ts_named_tuple_member<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &TSNamedTupleMember<'a>,
+    ) {
+        let kind = AstKind::TSNamedTupleMember(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_ts_tuple_element(&it.element_type);
+        visitor.visit_identifier_name(&it.label);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_ts_tuple_element<'a, V: Visit<'a>>(visitor: &mut V, it: &TSTupleElement<'a>) {
+        match it {
+            TSTupleElement::TSOptionalType(it) => visitor.visit_ts_optional_type(it),
+            TSTupleElement::TSRestType(it) => visitor.visit_ts_rest_type(it),
+            match_ts_type!(TSTupleElement) => visitor.visit_ts_type(it.to_ts_type()),
+        }
+    }
+
+    pub fn walk_ts_optional_type<'a, V: Visit<'a>>(visitor: &mut V, it: &TSOptionalType<'a>) {
+        // NOTE: AstKind doesn't exists!
+        visitor.visit_ts_type(&it.type_annotation);
+    }
+
+    pub fn walk_ts_rest_type<'a, V: Visit<'a>>(visitor: &mut V, it: &TSRestType<'a>) {
+        // NOTE: AstKind doesn't exists!
+        visitor.visit_ts_type(&it.type_annotation);
+    }
+
+    pub fn walk_ts_template_literal_type<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &TSTemplateLiteralType<'a>,
+    ) {
+        let kind = AstKind::TSTemplateLiteralType(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_template_elements(&it.quasis);
+        visitor.visit_ts_types(&it.types);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_ts_this_type<'a, V: Visit<'a>>(visitor: &mut V, it: &TSThisType) {
+        let kind = AstKind::TSThisType(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_ts_tuple_type<'a, V: Visit<'a>>(visitor: &mut V, it: &TSTupleType<'a>) {
+        // NOTE: AstKind doesn't exists!
+        visitor.visit_ts_tuple_elements(&it.element_types);
+    }
+
+    pub fn walk_ts_tuple_elements<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &Vec<'a, TSTupleElement<'a>>,
+    ) {
+        for el in it {
+            visitor.visit_ts_tuple_element(el);
+        }
+    }
+
+    pub fn walk_ts_type_literal<'a, V: Visit<'a>>(visitor: &mut V, it: &TSTypeLiteral<'a>) {
+        let kind = AstKind::TSTypeLiteral(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_ts_signatures(&it.members);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_ts_signatures<'a, V: Visit<'a>>(visitor: &mut V, it: &Vec<'a, TSSignature<'a>>) {
+        for el in it {
+            visitor.visit_ts_signature(el);
+        }
+    }
+
+    pub fn walk_ts_signature<'a, V: Visit<'a>>(visitor: &mut V, it: &TSSignature<'a>) {
+        match it {
+            TSSignature::TSIndexSignature(it) => visitor.visit_ts_index_signature(it),
+            TSSignature::TSPropertySignature(it) => visitor.visit_ts_property_signature(it),
+            TSSignature::TSCallSignatureDeclaration(it) => {
+                visitor.visit_ts_call_signature_declaration(it)
+            }
+            TSSignature::TSConstructSignatureDeclaration(it) => {
+                visitor.visit_ts_construct_signature_declaration(it)
+            }
+            TSSignature::TSMethodSignature(it) => visitor.visit_ts_method_signature(it),
+        }
+    }
+
+    pub fn walk_ts_index_signature<'a, V: Visit<'a>>(visitor: &mut V, it: &TSIndexSignature<'a>) {
+        // NOTE: AstKind doesn't exists!
+        visitor.visit_ts_index_signature_names(&it.parameters);
+        visitor.visit_ts_type_annotation(&it.type_annotation);
+    }
+
+    pub fn walk_ts_index_signature_names<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &Vec<'a, TSIndexSignatureName<'a>>,
+    ) {
+        for el in it {
+            visitor.visit_ts_index_signature_name(el);
+        }
+    }
+
+    pub fn walk_ts_index_signature_name<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &TSIndexSignatureName<'a>,
+    ) {
+        // NOTE: AstKind doesn't exists!
+        visitor.visit_ts_type_annotation(&it.type_annotation);
+    }
+
+    pub fn walk_ts_property_signature<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &TSPropertySignature<'a>,
+    ) {
+        let kind = AstKind::TSPropertySignature(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_property_key(&it.key);
+        if let Some(ref type_annotation) = it.type_annotation {
+            visitor.visit_ts_type_annotation(type_annotation);
+        }
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_ts_call_signature_declaration<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &TSCallSignatureDeclaration<'a>,
+    ) {
+        // NOTE: AstKind doesn't exists!
+        if let Some(ref this_param) = it.this_param {
+            visitor.visit_ts_this_parameter(this_param);
+        }
+        visitor.visit_formal_parameters(&it.params);
+        if let Some(ref return_type) = it.return_type {
+            visitor.visit_ts_type_annotation(return_type);
+        }
+        if let Some(ref type_parameters) = it.type_parameters {
+            visitor.visit_ts_type_parameter_declaration(type_parameters);
+        }
+    }
+
+    pub fn walk_ts_construct_signature_declaration<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &TSConstructSignatureDeclaration<'a>,
+    ) {
+        // NOTE: AstKind doesn't exists!
+        visitor.visit_formal_parameters(&it.params);
+        if let Some(ref return_type) = it.return_type {
+            visitor.visit_ts_type_annotation(return_type);
+        }
+        if let Some(ref type_parameters) = it.type_parameters {
+            visitor.visit_ts_type_parameter_declaration(type_parameters);
+        }
+    }
+
+    pub fn walk_ts_method_signature<'a, V: Visit<'a>>(visitor: &mut V, it: &TSMethodSignature<'a>) {
+        let kind = AstKind::TSMethodSignature(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_property_key(&it.key);
+        if let Some(ref this_param) = it.this_param {
+            visitor.visit_ts_this_parameter(this_param);
+        }
+        visitor.visit_formal_parameters(&it.params);
+        if let Some(ref return_type) = it.return_type {
+            visitor.visit_ts_type_annotation(return_type);
+        }
+        if let Some(ref type_parameters) = it.type_parameters {
+            visitor.visit_ts_type_parameter_declaration(type_parameters);
+        }
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_ts_type_operator<'a, V: Visit<'a>>(visitor: &mut V, it: &TSTypeOperator<'a>) {
+        // NOTE: AstKind doesn't exists!
+        visitor.visit_ts_type(&it.type_annotation);
+    }
+
+    pub fn walk_ts_type_predicate<'a, V: Visit<'a>>(visitor: &mut V, it: &TSTypePredicate<'a>) {
+        // NOTE: AstKind doesn't exists!
+        visitor.visit_ts_type_predicate_name(&it.parameter_name);
+        if let Some(ref type_annotation) = it.type_annotation {
+            visitor.visit_ts_type_annotation(type_annotation);
+        }
+    }
+
+    pub fn walk_ts_type_predicate_name<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &TSTypePredicateName<'a>,
+    ) {
+        match it {
+            TSTypePredicateName::Identifier(it) => visitor.visit_identifier_name(it),
+            TSTypePredicateName::This(it) => visitor.visit_ts_this_type(it),
+        }
+    }
+
+    pub fn walk_ts_type_query<'a, V: Visit<'a>>(visitor: &mut V, it: &TSTypeQuery<'a>) {
+        let kind = AstKind::TSTypeQuery(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_ts_type_query_expr_name(&it.expr_name);
+        if let Some(ref type_parameters) = it.type_parameters {
+            visitor.visit_ts_type_parameter_instantiation(type_parameters);
+        }
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_ts_type_query_expr_name<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &TSTypeQueryExprName<'a>,
+    ) {
+        match it {
+            TSTypeQueryExprName::TSImportType(it) => visitor.visit_ts_import_type(it),
+            match_ts_type_name!(TSTypeQueryExprName) => {
+                visitor.visit_ts_type_name(it.to_ts_type_name())
+            }
+        }
+    }
+
+    pub fn walk_ts_type_reference<'a, V: Visit<'a>>(visitor: &mut V, it: &TSTypeReference<'a>) {
+        let kind = AstKind::TSTypeReference(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_ts_type_name(&it.type_name);
+        if let Some(ref type_parameters) = it.type_parameters {
+            visitor.visit_ts_type_parameter_instantiation(type_parameters);
+        }
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_ts_union_type<'a, V: Visit<'a>>(visitor: &mut V, it: &TSUnionType<'a>) {
+        let kind = AstKind::TSUnionType(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_ts_types(&it.types);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_ts_parenthesized_type<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &TSParenthesizedType<'a>,
+    ) {
+        let kind = AstKind::TSParenthesizedType(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_ts_type(&it.type_annotation);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_js_doc_nullable_type<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &JSDocNullableType<'a>,
+    ) {
+        // NOTE: AstKind doesn't exists!
+        visitor.visit_ts_type(&it.type_annotation);
+    }
+
+    pub fn walk_js_doc_non_nullable_type<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &JSDocNonNullableType<'a>,
+    ) {
+        // NOTE: AstKind doesn't exists!
+        visitor.visit_ts_type(&it.type_annotation);
+    }
+
+    pub fn walk_js_doc_unknown_type<'a, V: Visit<'a>>(visitor: &mut V, it: &JSDocUnknownType) {
+        // NOTE: AstKind doesn't exists!
+        let _ = (visitor, it);
+    }
+
+    pub fn walk_decorators<'a, V: Visit<'a>>(visitor: &mut V, it: &Vec<'a, Decorator<'a>>) {
+        for el in it {
+            visitor.visit_decorator(el);
+        }
+    }
+
+    pub fn walk_decorator<'a, V: Visit<'a>>(visitor: &mut V, it: &Decorator<'a>) {
+        let kind = AstKind::Decorator(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_expression(&it.expression);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_function_body<'a, V: Visit<'a>>(visitor: &mut V, it: &FunctionBody<'a>) {
+        let kind = AstKind::FunctionBody(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_directives(&it.directives);
+        visitor.visit_statements(&it.statements);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_assignment_expression<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &AssignmentExpression<'a>,
+    ) {
+        let kind = AstKind::AssignmentExpression(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_assignment_target(&it.left);
+        visitor.visit_expression(&it.right);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_assignment_target<'a, V: Visit<'a>>(visitor: &mut V, it: &AssignmentTarget<'a>) {
+        let kind = AstKind::AssignmentTarget(visitor.alloc(it));
+        visitor.enter_node(kind);
+        match it {
+            match_simple_assignment_target!(AssignmentTarget) => {
+                visitor.visit_simple_assignment_target(it.to_simple_assignment_target())
+            }
+            match_assignment_target_pattern!(AssignmentTarget) => {
+                visitor.visit_assignment_target_pattern(it.to_assignment_target_pattern())
+            }
+        }
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_simple_assignment_target<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &SimpleAssignmentTarget<'a>,
+    ) {
+        let kind = AstKind::SimpleAssignmentTarget(visitor.alloc(it));
+        visitor.enter_node(kind);
+        match it {
+            SimpleAssignmentTarget::AssignmentTargetIdentifier(it) => {
+                visitor.visit_identifier_reference(it)
+            }
+            SimpleAssignmentTarget::TSAsExpression(it) => visitor.visit_ts_as_expression(it),
+            SimpleAssignmentTarget::TSSatisfiesExpression(it) => {
+                visitor.visit_ts_satisfies_expression(it)
+            }
+            SimpleAssignmentTarget::TSNonNullExpression(it) => {
+                visitor.visit_ts_non_null_expression(it)
+            }
+            SimpleAssignmentTarget::TSTypeAssertion(it) => visitor.visit_ts_type_assertion(it),
+            SimpleAssignmentTarget::TSInstantiationExpression(it) => {
+                visitor.visit_ts_instantiation_expression(it)
+            }
+            match_member_expression!(SimpleAssignmentTarget) => {
+                visitor.visit_member_expression(it.to_member_expression())
+            }
+        }
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_ts_as_expression<'a, V: Visit<'a>>(visitor: &mut V, it: &TSAsExpression<'a>) {
+        let kind = AstKind::TSAsExpression(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_expression(&it.expression);
+        visitor.visit_ts_type(&it.type_annotation);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_ts_satisfies_expression<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &TSSatisfiesExpression<'a>,
+    ) {
+        let kind = AstKind::TSSatisfiesExpression(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_expression(&it.expression);
+        visitor.visit_ts_type(&it.type_annotation);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_ts_non_null_expression<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &TSNonNullExpression<'a>,
+    ) {
+        let kind = AstKind::TSNonNullExpression(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_expression(&it.expression);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_ts_type_assertion<'a, V: Visit<'a>>(visitor: &mut V, it: &TSTypeAssertion<'a>) {
+        let kind = AstKind::TSTypeAssertion(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_expression(&it.expression);
+        visitor.visit_ts_type(&it.type_annotation);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_ts_instantiation_expression<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &TSInstantiationExpression<'a>,
+    ) {
+        let kind = AstKind::TSInstantiationExpression(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_expression(&it.expression);
+        visitor.visit_ts_type_parameter_instantiation(&it.type_parameters);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_member_expression<'a, V: Visit<'a>>(visitor: &mut V, it: &MemberExpression<'a>) {
+        let kind = AstKind::MemberExpression(visitor.alloc(it));
+        visitor.enter_node(kind);
+        match it {
+            MemberExpression::ComputedMemberExpression(it) => {
+                visitor.visit_computed_member_expression(it)
+            }
+            MemberExpression::StaticMemberExpression(it) => {
+                visitor.visit_static_member_expression(it)
+            }
+            MemberExpression::PrivateFieldExpression(it) => {
+                visitor.visit_private_field_expression(it)
+            }
+        }
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_computed_member_expression<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &ComputedMemberExpression<'a>,
+    ) {
+        // NOTE: AstKind doesn't exists!
+        visitor.visit_expression(&it.object);
+        visitor.visit_expression(&it.expression);
+    }
+
+    pub fn walk_static_member_expression<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &StaticMemberExpression<'a>,
+    ) {
+        // NOTE: AstKind doesn't exists!
+        visitor.visit_expression(&it.object);
+        visitor.visit_identifier_name(&it.property);
+    }
+
+    pub fn walk_private_field_expression<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &PrivateFieldExpression<'a>,
+    ) {
+        // NOTE: AstKind doesn't exists!
+        visitor.visit_expression(&it.object);
+        visitor.visit_private_identifier(&it.field);
+    }
+
+    pub fn walk_assignment_target_pattern<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &AssignmentTargetPattern<'a>,
+    ) {
+        match it {
+            AssignmentTargetPattern::ArrayAssignmentTarget(it) => {
+                visitor.visit_array_assignment_target(it)
+            }
+            AssignmentTargetPattern::ObjectAssignmentTarget(it) => {
+                visitor.visit_object_assignment_target(it)
+            }
+        }
+    }
+
+    pub fn walk_array_assignment_target<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &ArrayAssignmentTarget<'a>,
+    ) {
+        // NOTE: AstKind doesn't exists!
+        for elements in (&it.elements).into_iter().flatten() {
+            visitor.visit_assignment_target_maybe_default(elements);
+        }
+        if let Some(ref rest) = it.rest {
+            visitor.visit_assignment_target_rest(rest);
+        }
+    }
+
+    pub fn walk_assignment_target_maybe_default<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &AssignmentTargetMaybeDefault<'a>,
+    ) {
+        match it {
+            AssignmentTargetMaybeDefault::AssignmentTargetWithDefault(it) => {
+                visitor.visit_assignment_target_with_default(it)
+            }
+            match_assignment_target!(AssignmentTargetMaybeDefault) => {
+                visitor.visit_assignment_target(it.to_assignment_target())
+            }
+        }
+    }
+
+    pub fn walk_assignment_target_with_default<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &AssignmentTargetWithDefault<'a>,
+    ) {
+        let kind = AstKind::AssignmentTargetWithDefault(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_assignment_target(&it.binding);
+        visitor.visit_expression(&it.init);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_assignment_target_rest<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &AssignmentTargetRest<'a>,
+    ) {
+        // NOTE: AstKind doesn't exists!
+        visitor.visit_assignment_target(&it.target);
+    }
+
+    pub fn walk_object_assignment_target<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &ObjectAssignmentTarget<'a>,
+    ) {
+        // NOTE: AstKind doesn't exists!
+        visitor.visit_assignment_target_properties(&it.properties);
+        if let Some(ref rest) = it.rest {
+            visitor.visit_assignment_target_rest(rest);
+        }
+    }
+
+    pub fn walk_assignment_target_properties<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &Vec<'a, AssignmentTargetProperty<'a>>,
+    ) {
+        for el in it {
+            visitor.visit_assignment_target_property(el);
+        }
+    }
+
+    pub fn walk_assignment_target_property<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &AssignmentTargetProperty<'a>,
+    ) {
+        match it {
+            AssignmentTargetProperty::AssignmentTargetPropertyIdentifier(it) => {
+                visitor.visit_assignment_target_property_identifier(it)
+            }
+            AssignmentTargetProperty::AssignmentTargetPropertyProperty(it) => {
+                visitor.visit_assignment_target_property_property(it)
+            }
+        }
+    }
+
+    pub fn walk_assignment_target_property_identifier<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &AssignmentTargetPropertyIdentifier<'a>,
+    ) {
+        // NOTE: AstKind doesn't exists!
+        visitor.visit_identifier_reference(&it.binding);
+        if let Some(ref init) = it.init {
+            visitor.visit_expression(init);
+        }
+    }
+
+    pub fn walk_assignment_target_property_property<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &AssignmentTargetPropertyProperty<'a>,
+    ) {
+        // NOTE: AstKind doesn't exists!
+        visitor.visit_property_key(&it.name);
+        visitor.visit_assignment_target_maybe_default(&it.binding);
+    }
+
+    pub fn walk_await_expression<'a, V: Visit<'a>>(visitor: &mut V, it: &AwaitExpression<'a>) {
+        let kind = AstKind::AwaitExpression(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_expression(&it.argument);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_binary_expression<'a, V: Visit<'a>>(visitor: &mut V, it: &BinaryExpression<'a>) {
+        let kind = AstKind::BinaryExpression(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_expression(&it.left);
+        visitor.visit_expression(&it.right);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_call_expression<'a, V: Visit<'a>>(visitor: &mut V, it: &CallExpression<'a>) {
+        let kind = AstKind::CallExpression(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_arguments(&it.arguments);
+        visitor.visit_expression(&it.callee);
+        if let Some(ref type_parameters) = it.type_parameters {
+            visitor.visit_ts_type_parameter_instantiation(type_parameters);
+        }
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_arguments<'a, V: Visit<'a>>(visitor: &mut V, it: &Vec<'a, Argument<'a>>) {
+        for el in it {
+            visitor.visit_argument(el);
+        }
+    }
+
+    pub fn walk_argument<'a, V: Visit<'a>>(visitor: &mut V, it: &Argument<'a>) {
+        let kind = AstKind::Argument(visitor.alloc(it));
+        visitor.enter_node(kind);
+        match it {
+            Argument::SpreadElement(it) => visitor.visit_spread_element(it),
+            match_expression!(Argument) => visitor.visit_expression(it.to_expression()),
+        }
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_chain_expression<'a, V: Visit<'a>>(visitor: &mut V, it: &ChainExpression<'a>) {
+        let kind = AstKind::ChainExpression(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_chain_element(&it.expression);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_chain_element<'a, V: Visit<'a>>(visitor: &mut V, it: &ChainElement<'a>) {
+        match it {
+            ChainElement::CallExpression(it) => visitor.visit_call_expression(it),
+            match_member_expression!(ChainElement) => {
+                visitor.visit_member_expression(it.to_member_expression())
+            }
+        }
+    }
+
+    pub fn walk_class<'a, V: Visit<'a>>(visitor: &mut V, it: &Class<'a>) {
+        let kind = AstKind::Class(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_decorators(&it.decorators);
+        visitor.enter_scope(ScopeFlags::StrictMode);
+        if let Some(ref id) = it.id {
+            visitor.visit_binding_identifier(id);
+        }
+        if let Some(ref super_class) = it.super_class {
+            visitor.visit_class_heritage(super_class);
+        }
+        visitor.visit_class_body(&it.body);
+        if let Some(ref type_parameters) = it.type_parameters {
+            visitor.visit_ts_type_parameter_declaration(type_parameters);
+        }
+        if let Some(ref super_type_parameters) = it.super_type_parameters {
+            visitor.visit_ts_type_parameter_instantiation(super_type_parameters);
+        }
+        if let Some(ref implements) = it.implements {
+            visitor.visit_ts_class_implementses(implements);
+        }
+        visitor.leave_node(kind);
+        visitor.leave_scope();
+    }
+
+    pub fn walk_class_heritage<'a, V: Visit<'a>>(visitor: &mut V, it: &Expression<'a>) {
+        let kind = AstKind::ClassHeritage(visitor.alloc(it));
+        visitor.enter_node(kind);
+        match it {
+            Expression::BooleanLiteral(it) => visitor.visit_boolean_literal(it),
+            Expression::NullLiteral(it) => visitor.visit_null_literal(it),
+            Expression::NumericLiteral(it) => visitor.visit_numeric_literal(it),
+            Expression::BigIntLiteral(it) => visitor.visit_big_int_literal(it),
+            Expression::RegExpLiteral(it) => visitor.visit_reg_exp_literal(it),
+            Expression::StringLiteral(it) => visitor.visit_string_literal(it),
+            Expression::TemplateLiteral(it) => visitor.visit_template_literal(it),
+            Expression::Identifier(it) => visitor.visit_identifier_reference(it),
+            Expression::MetaProperty(it) => visitor.visit_meta_property(it),
+            Expression::Super(it) => visitor.visit_super(it),
+            Expression::ArrayExpression(it) => visitor.visit_array_expression(it),
+            Expression::ArrowFunctionExpression(it) => visitor.visit_arrow_function_expression(it),
+            Expression::AssignmentExpression(it) => visitor.visit_assignment_expression(it),
+            Expression::AwaitExpression(it) => visitor.visit_await_expression(it),
+            Expression::BinaryExpression(it) => visitor.visit_binary_expression(it),
+            Expression::CallExpression(it) => visitor.visit_call_expression(it),
+            Expression::ChainExpression(it) => visitor.visit_chain_expression(it),
+            Expression::ClassExpression(it) => visitor.visit_class(it),
+            Expression::ConditionalExpression(it) => visitor.visit_conditional_expression(it),
+            Expression::FunctionExpression(it) => {
+                let flags = None;
+                visitor.visit_function(it, flags)
+            }
+            Expression::ImportExpression(it) => visitor.visit_import_expression(it),
+            Expression::LogicalExpression(it) => visitor.visit_logical_expression(it),
+            Expression::NewExpression(it) => visitor.visit_new_expression(it),
+            Expression::ObjectExpression(it) => visitor.visit_object_expression(it),
+            Expression::ParenthesizedExpression(it) => visitor.visit_parenthesized_expression(it),
+            Expression::SequenceExpression(it) => visitor.visit_sequence_expression(it),
+            Expression::TaggedTemplateExpression(it) => {
+                visitor.visit_tagged_template_expression(it)
+            }
+            Expression::ThisExpression(it) => visitor.visit_this_expression(it),
+            Expression::UnaryExpression(it) => visitor.visit_unary_expression(it),
+            Expression::UpdateExpression(it) => visitor.visit_update_expression(it),
+            Expression::YieldExpression(it) => visitor.visit_yield_expression(it),
+            Expression::PrivateInExpression(it) => visitor.visit_private_in_expression(it),
+            Expression::JSXElement(it) => visitor.visit_jsx_element(it),
+            Expression::JSXFragment(it) => visitor.visit_jsx_fragment(it),
+            Expression::TSAsExpression(it) => visitor.visit_ts_as_expression(it),
+            Expression::TSSatisfiesExpression(it) => visitor.visit_ts_satisfies_expression(it),
+            Expression::TSTypeAssertion(it) => visitor.visit_ts_type_assertion(it),
+            Expression::TSNonNullExpression(it) => visitor.visit_ts_non_null_expression(it),
+            Expression::TSInstantiationExpression(it) => {
+                visitor.visit_ts_instantiation_expression(it)
+            }
+            match_member_expression!(Expression) => {
+                visitor.visit_member_expression(it.to_member_expression())
+            }
+        }
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_conditional_expression<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &ConditionalExpression<'a>,
+    ) {
+        let kind = AstKind::ConditionalExpression(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_expression(&it.test);
+        visitor.visit_expression(&it.consequent);
+        visitor.visit_expression(&it.alternate);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_function<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &Function<'a>,
+        flags: Option<ScopeFlags>,
+    ) {
+        visitor.enter_scope({
+            let mut flags = flags.unwrap_or(ScopeFlags::empty()) | ScopeFlags::Function;
+            if it.body.as_ref().is_some_and(|body| body.has_use_strict_directive()) {
+                flags |= ScopeFlags::StrictMode;
+            }
+            flags
+        });
+        let kind = AstKind::Function(visitor.alloc(it));
+        visitor.enter_node(kind);
+        if let Some(ref id) = it.id {
+            visitor.visit_binding_identifier(id);
+        }
+        if let Some(ref type_parameters) = it.type_parameters {
+            visitor.visit_ts_type_parameter_declaration(type_parameters);
+        }
+        if let Some(ref this_param) = it.this_param {
+            visitor.visit_ts_this_parameter(this_param);
+        }
+        visitor.visit_formal_parameters(&it.params);
+        if let Some(ref body) = it.body {
+            visitor.visit_function_body(body);
+        }
+        if let Some(ref return_type) = it.return_type {
+            visitor.visit_ts_type_annotation(return_type);
+        }
+        visitor.leave_node(kind);
+        visitor.leave_scope();
+    }
+
+    pub fn walk_import_expression<'a, V: Visit<'a>>(visitor: &mut V, it: &ImportExpression<'a>) {
+        let kind = AstKind::ImportExpression(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_expression(&it.source);
+        visitor.visit_expressions(&it.arguments);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_logical_expression<'a, V: Visit<'a>>(visitor: &mut V, it: &LogicalExpression<'a>) {
+        let kind = AstKind::LogicalExpression(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_expression(&it.left);
+        visitor.visit_expression(&it.right);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_new_expression<'a, V: Visit<'a>>(visitor: &mut V, it: &NewExpression<'a>) {
+        let kind = AstKind::NewExpression(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_expression(&it.callee);
+        visitor.visit_arguments(&it.arguments);
+        if let Some(ref type_parameters) = it.type_parameters {
+            visitor.visit_ts_type_parameter_instantiation(type_parameters);
+        }
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_object_expression<'a, V: Visit<'a>>(visitor: &mut V, it: &ObjectExpression<'a>) {
+        let kind = AstKind::ObjectExpression(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_object_property_kinds(&it.properties);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_object_property_kinds<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &Vec<'a, ObjectPropertyKind<'a>>,
+    ) {
+        for el in it {
+            visitor.visit_object_property_kind(el);
+        }
+    }
+
+    pub fn walk_object_property_kind<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &ObjectPropertyKind<'a>,
+    ) {
+        match it {
+            ObjectPropertyKind::ObjectProperty(it) => visitor.visit_object_property(it),
+            ObjectPropertyKind::SpreadProperty(it) => visitor.visit_spread_element(it),
+        }
+    }
+
+    pub fn walk_object_property<'a, V: Visit<'a>>(visitor: &mut V, it: &ObjectProperty<'a>) {
+        let kind = AstKind::ObjectProperty(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_property_key(&it.key);
+        visitor.visit_expression(&it.value);
+        if let Some(ref init) = it.init {
+            visitor.visit_expression(init);
+        }
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_parenthesized_expression<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &ParenthesizedExpression<'a>,
+    ) {
+        let kind = AstKind::ParenthesizedExpression(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_expression(&it.expression);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_sequence_expression<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &SequenceExpression<'a>,
+    ) {
+        let kind = AstKind::SequenceExpression(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_expressions(&it.expressions);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_tagged_template_expression<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &TaggedTemplateExpression<'a>,
+    ) {
+        let kind = AstKind::TaggedTemplateExpression(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_expression(&it.tag);
+        visitor.visit_template_literal(&it.quasi);
+        if let Some(ref type_parameters) = it.type_parameters {
+            visitor.visit_ts_type_parameter_instantiation(type_parameters);
+        }
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_this_expression<'a, V: Visit<'a>>(visitor: &mut V, it: &ThisExpression) {
+        let kind = AstKind::ThisExpression(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_update_expression<'a, V: Visit<'a>>(visitor: &mut V, it: &UpdateExpression<'a>) {
+        let kind = AstKind::UpdateExpression(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_simple_assignment_target(&it.argument);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_yield_expression<'a, V: Visit<'a>>(visitor: &mut V, it: &YieldExpression<'a>) {
+        let kind = AstKind::YieldExpression(visitor.alloc(it));
+        visitor.enter_node(kind);
+        if let Some(ref argument) = it.argument {
+            visitor.visit_expression(argument);
+        }
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_private_in_expression<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &PrivateInExpression<'a>,
+    ) {
+        let kind = AstKind::PrivateInExpression(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_private_identifier(&it.left);
+        visitor.visit_expression(&it.right);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_jsx_element<'a, V: Visit<'a>>(visitor: &mut V, it: &JSXElement<'a>) {
+        let kind = AstKind::JSXElement(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_jsx_opening_element(&it.opening_element);
+        if let Some(ref closing_element) = it.closing_element {
+            visitor.visit_jsx_closing_element(closing_element);
+        }
+        visitor.visit_jsx_children(&it.children);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_jsx_opening_element<'a, V: Visit<'a>>(visitor: &mut V, it: &JSXOpeningElement<'a>) {
+        let kind = AstKind::JSXOpeningElement(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_jsx_element_name(&it.name);
+        visitor.visit_jsx_attribute_items(&it.attributes);
+        if let Some(ref type_parameters) = it.type_parameters {
+            visitor.visit_ts_type_parameter_instantiation(type_parameters);
+        }
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_jsx_element_name<'a, V: Visit<'a>>(visitor: &mut V, it: &JSXElementName<'a>) {
+        let kind = AstKind::JSXElementName(visitor.alloc(it));
+        visitor.enter_node(kind);
+        match it {
+            JSXElementName::Identifier(it) => visitor.visit_jsx_identifier(it),
+            JSXElementName::NamespacedName(it) => visitor.visit_jsx_namespaced_name(it),
+            JSXElementName::MemberExpression(it) => visitor.visit_jsx_member_expression(it),
+        }
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_jsx_identifier<'a, V: Visit<'a>>(visitor: &mut V, it: &JSXIdentifier<'a>) {
+        let kind = AstKind::JSXIdentifier(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_jsx_namespaced_name<'a, V: Visit<'a>>(visitor: &mut V, it: &JSXNamespacedName<'a>) {
+        let kind = AstKind::JSXNamespacedName(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_jsx_identifier(&it.namespace);
+        visitor.visit_jsx_identifier(&it.property);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_jsx_member_expression<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &JSXMemberExpression<'a>,
+    ) {
+        let kind = AstKind::JSXMemberExpression(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_jsx_member_expression_object(&it.object);
+        visitor.visit_jsx_identifier(&it.property);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_jsx_member_expression_object<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &JSXMemberExpressionObject<'a>,
+    ) {
+        let kind = AstKind::JSXMemberExpressionObject(visitor.alloc(it));
+        visitor.enter_node(kind);
+        match it {
+            JSXMemberExpressionObject::Identifier(it) => visitor.visit_jsx_identifier(it),
+            JSXMemberExpressionObject::MemberExpression(it) => {
+                visitor.visit_jsx_member_expression(it)
+            }
+        }
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_jsx_attribute_items<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &Vec<'a, JSXAttributeItem<'a>>,
+    ) {
+        for el in it {
+            visitor.visit_jsx_attribute_item(el);
+        }
+    }
+
+    pub fn walk_jsx_attribute_item<'a, V: Visit<'a>>(visitor: &mut V, it: &JSXAttributeItem<'a>) {
+        let kind = AstKind::JSXAttributeItem(visitor.alloc(it));
+        visitor.enter_node(kind);
+        match it {
+            JSXAttributeItem::Attribute(it) => visitor.visit_jsx_attribute(it),
+            JSXAttributeItem::SpreadAttribute(it) => visitor.visit_jsx_spread_attribute(it),
+        }
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_jsx_attribute<'a, V: Visit<'a>>(visitor: &mut V, it: &JSXAttribute<'a>) {
+        // NOTE: AstKind doesn't exists!
+        visitor.visit_jsx_attribute_name(&it.name);
+        if let Some(ref value) = it.value {
+            visitor.visit_jsx_attribute_value(value);
+        }
+    }
+
+    pub fn walk_jsx_attribute_name<'a, V: Visit<'a>>(visitor: &mut V, it: &JSXAttributeName<'a>) {
+        match it {
+            JSXAttributeName::Identifier(it) => visitor.visit_jsx_identifier(it),
+            JSXAttributeName::NamespacedName(it) => visitor.visit_jsx_namespaced_name(it),
+        }
+    }
+
+    pub fn walk_jsx_attribute_value<'a, V: Visit<'a>>(visitor: &mut V, it: &JSXAttributeValue<'a>) {
+        match it {
+            JSXAttributeValue::StringLiteral(it) => visitor.visit_string_literal(it),
+            JSXAttributeValue::ExpressionContainer(it) => {
+                visitor.visit_jsx_expression_container(it)
+            }
+            JSXAttributeValue::Element(it) => visitor.visit_jsx_element(it),
+            JSXAttributeValue::Fragment(it) => visitor.visit_jsx_fragment(it),
+        }
+    }
+
+    pub fn walk_jsx_expression_container<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &JSXExpressionContainer<'a>,
+    ) {
+        let kind = AstKind::JSXExpressionContainer(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_jsx_expression(&it.expression);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_jsx_expression<'a, V: Visit<'a>>(visitor: &mut V, it: &JSXExpression<'a>) {
+        match it {
+            JSXExpression::EmptyExpression(it) => visitor.visit_jsx_empty_expression(it),
+            match_expression!(JSXExpression) => visitor.visit_expression(it.to_expression()),
+        }
+    }
+
+    pub fn walk_jsx_empty_expression<'a, V: Visit<'a>>(visitor: &mut V, it: &JSXEmptyExpression) {
+        // NOTE: AstKind doesn't exists!
+        let _ = (visitor, it);
+    }
+
+    pub fn walk_jsx_fragment<'a, V: Visit<'a>>(visitor: &mut V, it: &JSXFragment<'a>) {
+        let kind = AstKind::JSXFragment(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_jsx_children(&it.children);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_jsx_children<'a, V: Visit<'a>>(visitor: &mut V, it: &Vec<'a, JSXChild<'a>>) {
+        for el in it {
+            visitor.visit_jsx_child(el);
+        }
+    }
+
+    pub fn walk_jsx_child<'a, V: Visit<'a>>(visitor: &mut V, it: &JSXChild<'a>) {
+        match it {
+            JSXChild::Text(it) => visitor.visit_jsx_text(it),
+            JSXChild::Element(it) => visitor.visit_jsx_element(it),
+            JSXChild::Fragment(it) => visitor.visit_jsx_fragment(it),
+            JSXChild::ExpressionContainer(it) => visitor.visit_jsx_expression_container(it),
+            JSXChild::Spread(it) => visitor.visit_jsx_spread_child(it),
+        }
+    }
+
+    pub fn walk_jsx_text<'a, V: Visit<'a>>(visitor: &mut V, it: &JSXText<'a>) {
+        let kind = AstKind::JSXText(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_jsx_spread_child<'a, V: Visit<'a>>(visitor: &mut V, it: &JSXSpreadChild<'a>) {
+        // NOTE: AstKind doesn't exists!
+        visitor.visit_expression(&it.expression);
+    }
+
+    pub fn walk_jsx_spread_attribute<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &JSXSpreadAttribute<'a>,
+    ) {
+        let kind = AstKind::JSXSpreadAttribute(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_expression(&it.argument);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_jsx_closing_element<'a, V: Visit<'a>>(visitor: &mut V, it: &JSXClosingElement<'a>) {
+        let kind = AstKind::JSXClosingElement(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_jsx_element_name(&it.name);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_class_body<'a, V: Visit<'a>>(visitor: &mut V, it: &ClassBody<'a>) {
+        let kind = AstKind::ClassBody(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_class_elements(&it.body);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_class_elements<'a, V: Visit<'a>>(visitor: &mut V, it: &Vec<'a, ClassElement<'a>>) {
+        for el in it {
+            visitor.visit_class_element(el);
+        }
+    }
+
+    pub fn walk_class_element<'a, V: Visit<'a>>(visitor: &mut V, it: &ClassElement<'a>) {
+        match it {
+            ClassElement::StaticBlock(it) => visitor.visit_static_block(it),
+            ClassElement::MethodDefinition(it) => visitor.visit_method_definition(it),
+            ClassElement::PropertyDefinition(it) => visitor.visit_property_definition(it),
+            ClassElement::AccessorProperty(it) => visitor.visit_accessor_property(it),
+            ClassElement::TSIndexSignature(it) => visitor.visit_ts_index_signature(it),
+        }
+    }
+
+    pub fn walk_static_block<'a, V: Visit<'a>>(visitor: &mut V, it: &StaticBlock<'a>) {
+        visitor.enter_scope(ScopeFlags::ClassStaticBlock);
+        let kind = AstKind::StaticBlock(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_statements(&it.body);
+        visitor.leave_node(kind);
+        visitor.leave_scope();
+    }
+
+    pub fn walk_method_definition<'a, V: Visit<'a>>(visitor: &mut V, it: &MethodDefinition<'a>) {
+        let kind = AstKind::MethodDefinition(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_decorators(&it.decorators);
+        visitor.visit_property_key(&it.key);
+        {
+            let flags = Some(match it.kind {
+                MethodDefinitionKind::Get => ScopeFlags::GetAccessor,
+                MethodDefinitionKind::Set => ScopeFlags::SetAccessor,
+                MethodDefinitionKind::Constructor => ScopeFlags::Constructor,
+                MethodDefinitionKind::Method => ScopeFlags::empty(),
+            });
+            visitor.visit_function(&it.value, flags);
+        }
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_property_definition<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &PropertyDefinition<'a>,
+    ) {
+        let kind = AstKind::PropertyDefinition(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_decorators(&it.decorators);
+        visitor.visit_property_key(&it.key);
+        if let Some(ref value) = it.value {
+            visitor.visit_expression(value);
+        }
+        if let Some(ref type_annotation) = it.type_annotation {
+            visitor.visit_ts_type_annotation(type_annotation);
+        }
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_accessor_property<'a, V: Visit<'a>>(visitor: &mut V, it: &AccessorProperty<'a>) {
+        // NOTE: AstKind doesn't exists!
+        visitor.visit_property_key(&it.key);
+        if let Some(ref value) = it.value {
+            visitor.visit_expression(value);
+        }
+        visitor.visit_decorators(&it.decorators);
+    }
+
+    pub fn walk_ts_class_implementses<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &Vec<'a, TSClassImplements<'a>>,
+    ) {
+        for el in it {
+            visitor.visit_ts_class_implements(el);
+        }
+    }
+
+    pub fn walk_ts_class_implements<'a, V: Visit<'a>>(visitor: &mut V, it: &TSClassImplements<'a>) {
+        let kind = AstKind::TSClassImplements(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_ts_type_name(&it.expression);
+        if let Some(ref type_parameters) = it.type_parameters {
+            visitor.visit_ts_type_parameter_instantiation(type_parameters);
+        }
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_empty_statement<'a, V: Visit<'a>>(visitor: &mut V, it: &EmptyStatement) {
+        let kind = AstKind::EmptyStatement(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_expression_statement<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &ExpressionStatement<'a>,
+    ) {
+        let kind = AstKind::ExpressionStatement(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_expression(&it.expression);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_for_in_statement<'a, V: Visit<'a>>(visitor: &mut V, it: &ForInStatement<'a>) {
+        let scope_events_cond = it.left.is_lexical_declaration();
+        if scope_events_cond {
+            visitor.enter_scope(ScopeFlags::empty());
+        }
+        let kind = AstKind::ForInStatement(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_for_statement_left(&it.left);
+        visitor.visit_expression(&it.right);
+        visitor.visit_statement(&it.body);
+        visitor.leave_node(kind);
+        if scope_events_cond {
+            visitor.leave_scope();
+        }
+    }
+
+    pub fn walk_for_statement_left<'a, V: Visit<'a>>(visitor: &mut V, it: &ForStatementLeft<'a>) {
+        match it {
+            ForStatementLeft::VariableDeclaration(it) => visitor.visit_variable_declaration(it),
+            ForStatementLeft::UsingDeclaration(it) => visitor.visit_using_declaration(it),
+            match_assignment_target!(ForStatementLeft) => {
+                visitor.visit_assignment_target(it.to_assignment_target())
+            }
+        }
+    }
+
+    pub fn walk_variable_declaration<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &VariableDeclaration<'a>,
+    ) {
+        let kind = AstKind::VariableDeclaration(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_variable_declarators(&it.declarations);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_variable_declarators<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &Vec<'a, VariableDeclarator<'a>>,
+    ) {
+        for el in it {
+            visitor.visit_variable_declarator(el);
+        }
+    }
+
+    pub fn walk_variable_declarator<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &VariableDeclarator<'a>,
+    ) {
+        let kind = AstKind::VariableDeclarator(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_binding_pattern(&it.id);
+        if let Some(ref init) = it.init {
+            visitor.visit_expression(init);
+        }
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_using_declaration<'a, V: Visit<'a>>(visitor: &mut V, it: &UsingDeclaration<'a>) {
+        let kind = AstKind::UsingDeclaration(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_variable_declarators(&it.declarations);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_for_of_statement<'a, V: Visit<'a>>(visitor: &mut V, it: &ForOfStatement<'a>) {
+        let scope_events_cond = it.left.is_lexical_declaration();
+        if scope_events_cond {
+            visitor.enter_scope(ScopeFlags::empty());
+        }
+        let kind = AstKind::ForOfStatement(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_for_statement_left(&it.left);
+        visitor.visit_expression(&it.right);
+        visitor.visit_statement(&it.body);
+        visitor.leave_node(kind);
+        if scope_events_cond {
+            visitor.leave_scope();
+        }
+    }
+
+    pub fn walk_for_statement<'a, V: Visit<'a>>(visitor: &mut V, it: &ForStatement<'a>) {
+        let scope_events_cond =
+            it.init.as_ref().is_some_and(ForStatementInit::is_lexical_declaration);
+        if scope_events_cond {
+            visitor.enter_scope(ScopeFlags::empty());
+        }
+        let kind = AstKind::ForStatement(visitor.alloc(it));
+        visitor.enter_node(kind);
+        if let Some(ref init) = it.init {
+            visitor.visit_for_statement_init(init);
+        }
+        if let Some(ref test) = it.test {
+            visitor.visit_expression(test);
+        }
+        if let Some(ref update) = it.update {
+            visitor.visit_expression(update);
+        }
+        visitor.visit_statement(&it.body);
+        visitor.leave_node(kind);
+        if scope_events_cond {
+            visitor.leave_scope();
+        }
+    }
+
+    pub fn walk_for_statement_init<'a, V: Visit<'a>>(visitor: &mut V, it: &ForStatementInit<'a>) {
+        let kind = AstKind::ForStatementInit(visitor.alloc(it));
+        visitor.enter_node(kind);
+        match it {
+            ForStatementInit::VariableDeclaration(it) => visitor.visit_variable_declaration(it),
+            ForStatementInit::UsingDeclaration(it) => visitor.visit_using_declaration(it),
+            match_expression!(ForStatementInit) => visitor.visit_expression(it.to_expression()),
+        }
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_if_statement<'a, V: Visit<'a>>(visitor: &mut V, it: &IfStatement<'a>) {
+        let kind = AstKind::IfStatement(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_expression(&it.test);
+        visitor.visit_statement(&it.consequent);
+        if let Some(ref alternate) = it.alternate {
+            visitor.visit_statement(alternate);
+        }
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_labeled_statement<'a, V: Visit<'a>>(visitor: &mut V, it: &LabeledStatement<'a>) {
+        let kind = AstKind::LabeledStatement(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_label_identifier(&it.label);
+        visitor.visit_statement(&it.body);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_return_statement<'a, V: Visit<'a>>(visitor: &mut V, it: &ReturnStatement<'a>) {
+        let kind = AstKind::ReturnStatement(visitor.alloc(it));
+        visitor.enter_node(kind);
+        if let Some(ref argument) = it.argument {
+            visitor.visit_expression(argument);
+        }
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_switch_statement<'a, V: Visit<'a>>(visitor: &mut V, it: &SwitchStatement<'a>) {
+        let kind = AstKind::SwitchStatement(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_expression(&it.discriminant);
+        visitor.enter_scope(ScopeFlags::empty());
+        visitor.visit_switch_cases(&it.cases);
+        visitor.leave_node(kind);
+        visitor.leave_scope();
+    }
+
+    pub fn walk_switch_cases<'a, V: Visit<'a>>(visitor: &mut V, it: &Vec<'a, SwitchCase<'a>>) {
+        for el in it {
+            visitor.visit_switch_case(el);
+        }
+    }
+
+    pub fn walk_switch_case<'a, V: Visit<'a>>(visitor: &mut V, it: &SwitchCase<'a>) {
+        let kind = AstKind::SwitchCase(visitor.alloc(it));
+        visitor.enter_node(kind);
+        if let Some(ref test) = it.test {
+            visitor.visit_expression(test);
+        }
+        visitor.visit_statements(&it.consequent);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_throw_statement<'a, V: Visit<'a>>(visitor: &mut V, it: &ThrowStatement<'a>) {
+        let kind = AstKind::ThrowStatement(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_expression(&it.argument);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_try_statement<'a, V: Visit<'a>>(visitor: &mut V, it: &TryStatement<'a>) {
+        let kind = AstKind::TryStatement(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_block_statement(&it.block);
+        if let Some(ref handler) = it.handler {
+            visitor.visit_catch_clause(handler);
+        }
+        if let Some(ref finalizer) = it.finalizer {
+            visitor.visit_finally_clause(finalizer);
+        }
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_catch_clause<'a, V: Visit<'a>>(visitor: &mut V, it: &CatchClause<'a>) {
+        let scope_events_cond = it.param.is_some();
+        if scope_events_cond {
+            visitor.enter_scope(ScopeFlags::empty());
+        }
+        let kind = AstKind::CatchClause(visitor.alloc(it));
+        visitor.enter_node(kind);
+        if let Some(ref param) = it.param {
+            visitor.visit_catch_parameter(param);
+        }
+        visitor.visit_block_statement(&it.body);
+        visitor.leave_node(kind);
+        if scope_events_cond {
+            visitor.leave_scope();
+        }
+    }
+
+    pub fn walk_catch_parameter<'a, V: Visit<'a>>(visitor: &mut V, it: &CatchParameter<'a>) {
+        let kind = AstKind::CatchParameter(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_binding_pattern(&it.pattern);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_finally_clause<'a, V: Visit<'a>>(visitor: &mut V, it: &BlockStatement<'a>) {
+        visitor.enter_scope(ScopeFlags::empty());
+        let kind = AstKind::FinallyClause(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_statements(&it.body);
+        visitor.leave_node(kind);
+        visitor.leave_scope();
+    }
+
+    pub fn walk_while_statement<'a, V: Visit<'a>>(visitor: &mut V, it: &WhileStatement<'a>) {
+        let kind = AstKind::WhileStatement(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_expression(&it.test);
+        visitor.visit_statement(&it.body);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_with_statement<'a, V: Visit<'a>>(visitor: &mut V, it: &WithStatement<'a>) {
+        let kind = AstKind::WithStatement(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_expression(&it.object);
+        visitor.visit_statement(&it.body);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_declaration<'a, V: Visit<'a>>(visitor: &mut V, it: &Declaration<'a>) {
+        match it {
+            Declaration::VariableDeclaration(it) => visitor.visit_variable_declaration(it),
+            Declaration::FunctionDeclaration(it) => {
+                let flags = None;
+                visitor.visit_function(it, flags)
+            }
+            Declaration::ClassDeclaration(it) => visitor.visit_class(it),
+            Declaration::UsingDeclaration(it) => visitor.visit_using_declaration(it),
+            Declaration::TSTypeAliasDeclaration(it) => visitor.visit_ts_type_alias_declaration(it),
+            Declaration::TSInterfaceDeclaration(it) => visitor.visit_ts_interface_declaration(it),
+            Declaration::TSEnumDeclaration(it) => visitor.visit_ts_enum_declaration(it),
+            Declaration::TSModuleDeclaration(it) => visitor.visit_ts_module_declaration(it),
+            Declaration::TSImportEqualsDeclaration(it) => {
+                visitor.visit_ts_import_equals_declaration(it)
+            }
+        }
+    }
+
+    pub fn walk_ts_type_alias_declaration<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &TSTypeAliasDeclaration<'a>,
+    ) {
+        let kind = AstKind::TSTypeAliasDeclaration(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_binding_identifier(&it.id);
+        if let Some(ref type_parameters) = it.type_parameters {
+            visitor.visit_ts_type_parameter_declaration(type_parameters);
+        }
+        visitor.visit_ts_type(&it.type_annotation);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_ts_interface_declaration<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &TSInterfaceDeclaration<'a>,
+    ) {
+        let kind = AstKind::TSInterfaceDeclaration(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_binding_identifier(&it.id);
+        if let Some(ref extends) = it.extends {
+            visitor.visit_ts_interface_heritages(extends);
+        }
+        if let Some(ref type_parameters) = it.type_parameters {
+            visitor.visit_ts_type_parameter_declaration(type_parameters);
+        }
+        visitor.visit_ts_interface_body(&it.body);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_ts_interface_heritages<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &Vec<'a, TSInterfaceHeritage<'a>>,
+    ) {
+        for el in it {
+            visitor.visit_ts_interface_heritage(el);
+        }
+    }
+
+    pub fn walk_ts_interface_heritage<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &TSInterfaceHeritage<'a>,
+    ) {
+        let kind = AstKind::TSInterfaceHeritage(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_expression(&it.expression);
+        if let Some(ref type_parameters) = it.type_parameters {
+            visitor.visit_ts_type_parameter_instantiation(type_parameters);
+        }
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_ts_interface_body<'a, V: Visit<'a>>(visitor: &mut V, it: &TSInterfaceBody<'a>) {
+        // NOTE: AstKind doesn't exists!
+        visitor.visit_ts_signatures(&it.body);
+    }
+
+    pub fn walk_ts_enum_declaration<'a, V: Visit<'a>>(visitor: &mut V, it: &TSEnumDeclaration<'a>) {
+        let kind = AstKind::TSEnumDeclaration(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_binding_identifier(&it.id);
+        visitor.enter_scope(ScopeFlags::empty());
+        visitor.visit_ts_enum_members(&it.members);
+        visitor.leave_node(kind);
+        visitor.leave_scope();
+    }
+
+    pub fn walk_ts_enum_members<'a, V: Visit<'a>>(visitor: &mut V, it: &Vec<'a, TSEnumMember<'a>>) {
+        for el in it {
+            visitor.visit_ts_enum_member(el);
+        }
+    }
+
+    pub fn walk_ts_enum_member<'a, V: Visit<'a>>(visitor: &mut V, it: &TSEnumMember<'a>) {
+        let kind = AstKind::TSEnumMember(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_ts_enum_member_name(&it.id);
+        if let Some(ref initializer) = it.initializer {
+            visitor.visit_expression(initializer);
+        }
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_ts_enum_member_name<'a, V: Visit<'a>>(visitor: &mut V, it: &TSEnumMemberName<'a>) {
+        match it {
+            TSEnumMemberName::StaticIdentifier(it) => visitor.visit_identifier_name(it),
+            TSEnumMemberName::StaticStringLiteral(it) => visitor.visit_string_literal(it),
+            TSEnumMemberName::StaticNumericLiteral(it) => visitor.visit_numeric_literal(it),
+            match_expression!(TSEnumMemberName) => visitor.visit_expression(it.to_expression()),
+        }
+    }
+
+    pub fn walk_ts_module_declaration<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &TSModuleDeclaration<'a>,
+    ) {
+        let kind = AstKind::TSModuleDeclaration(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_ts_module_declaration_name(&it.id);
+        visitor.enter_scope({
+            let mut flags = ScopeFlags::TsModuleBlock;
+            if it.body.as_ref().is_some_and(TSModuleDeclarationBody::is_strict) {
+                flags |= ScopeFlags::StrictMode;
+            }
+            flags
+        });
+        if let Some(ref body) = it.body {
+            visitor.visit_ts_module_declaration_body(body);
+        }
+        visitor.leave_node(kind);
+        visitor.leave_scope();
+    }
+
+    pub fn walk_ts_module_declaration_name<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &TSModuleDeclarationName<'a>,
+    ) {
+        match it {
+            TSModuleDeclarationName::Identifier(it) => visitor.visit_identifier_name(it),
+            TSModuleDeclarationName::StringLiteral(it) => visitor.visit_string_literal(it),
+        }
+    }
+
+    pub fn walk_ts_module_declaration_body<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &TSModuleDeclarationBody<'a>,
+    ) {
+        match it {
+            TSModuleDeclarationBody::TSModuleDeclaration(it) => {
+                visitor.visit_ts_module_declaration(it)
+            }
+            TSModuleDeclarationBody::TSModuleBlock(it) => visitor.visit_ts_module_block(it),
+        }
+    }
+
+    pub fn walk_ts_module_block<'a, V: Visit<'a>>(visitor: &mut V, it: &TSModuleBlock<'a>) {
+        let kind = AstKind::TSModuleBlock(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_directives(&it.directives);
+        visitor.visit_statements(&it.body);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_ts_import_equals_declaration<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &TSImportEqualsDeclaration<'a>,
+    ) {
+        let kind = AstKind::TSImportEqualsDeclaration(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_binding_identifier(&it.id);
+        visitor.visit_ts_module_reference(&it.module_reference);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_ts_module_reference<'a, V: Visit<'a>>(visitor: &mut V, it: &TSModuleReference<'a>) {
+        match it {
+            TSModuleReference::ExternalModuleReference(it) => {
+                visitor.visit_ts_external_module_reference(it)
+            }
+            match_ts_type_name!(TSModuleReference) => {
+                visitor.visit_ts_type_name(it.to_ts_type_name())
+            }
+        }
+    }
+
+    pub fn walk_ts_external_module_reference<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &TSExternalModuleReference<'a>,
+    ) {
+        let kind = AstKind::TSExternalModuleReference(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_string_literal(&it.expression);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_module_declaration<'a, V: Visit<'a>>(visitor: &mut V, it: &ModuleDeclaration<'a>) {
+        let kind = AstKind::ModuleDeclaration(visitor.alloc(it));
+        visitor.enter_node(kind);
+        match it {
+            ModuleDeclaration::ImportDeclaration(it) => visitor.visit_import_declaration(it),
+            ModuleDeclaration::ExportAllDeclaration(it) => visitor.visit_export_all_declaration(it),
+            ModuleDeclaration::ExportDefaultDeclaration(it) => {
+                visitor.visit_export_default_declaration(it)
+            }
+            ModuleDeclaration::ExportNamedDeclaration(it) => {
+                visitor.visit_export_named_declaration(it)
+            }
+            ModuleDeclaration::TSExportAssignment(it) => visitor.visit_ts_export_assignment(it),
+            ModuleDeclaration::TSNamespaceExportDeclaration(it) => {
+                visitor.visit_ts_namespace_export_declaration(it)
+            }
+        }
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_import_declaration<'a, V: Visit<'a>>(visitor: &mut V, it: &ImportDeclaration<'a>) {
+        let kind = AstKind::ImportDeclaration(visitor.alloc(it));
+        visitor.enter_node(kind);
+        if let Some(ref specifiers) = it.specifiers {
+            visitor.visit_import_declaration_specifiers(specifiers);
+        }
+        visitor.visit_string_literal(&it.source);
+        if let Some(ref with_clause) = it.with_clause {
+            visitor.visit_with_clause(with_clause);
+        }
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_import_declaration_specifiers<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &Vec<'a, ImportDeclarationSpecifier<'a>>,
+    ) {
+        for el in it {
+            visitor.visit_import_declaration_specifier(el);
+        }
+    }
+
+    pub fn walk_import_declaration_specifier<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &ImportDeclarationSpecifier<'a>,
+    ) {
+        match it {
+            ImportDeclarationSpecifier::ImportSpecifier(it) => visitor.visit_import_specifier(it),
+            ImportDeclarationSpecifier::ImportDefaultSpecifier(it) => {
+                visitor.visit_import_default_specifier(it)
+            }
+            ImportDeclarationSpecifier::ImportNamespaceSpecifier(it) => {
+                visitor.visit_import_namespace_specifier(it)
+            }
+        }
+    }
+
+    pub fn walk_import_specifier<'a, V: Visit<'a>>(visitor: &mut V, it: &ImportSpecifier<'a>) {
+        let kind = AstKind::ImportSpecifier(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_module_export_name(&it.imported);
+        visitor.visit_binding_identifier(&it.local);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_module_export_name<'a, V: Visit<'a>>(visitor: &mut V, it: &ModuleExportName<'a>) {
+        match it {
+            ModuleExportName::IdentifierName(it) => visitor.visit_identifier_name(it),
+            ModuleExportName::IdentifierReference(it) => visitor.visit_identifier_reference(it),
+            ModuleExportName::StringLiteral(it) => visitor.visit_string_literal(it),
+        }
+    }
+
+    pub fn walk_import_default_specifier<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &ImportDefaultSpecifier<'a>,
+    ) {
+        let kind = AstKind::ImportDefaultSpecifier(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_binding_identifier(&it.local);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_import_namespace_specifier<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &ImportNamespaceSpecifier<'a>,
+    ) {
+        let kind = AstKind::ImportNamespaceSpecifier(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_binding_identifier(&it.local);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_with_clause<'a, V: Visit<'a>>(visitor: &mut V, it: &WithClause<'a>) {
+        // NOTE: AstKind doesn't exists!
+        visitor.visit_identifier_name(&it.attributes_keyword);
+        visitor.visit_import_attributes(&it.with_entries);
+    }
+
+    pub fn walk_import_attributes<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &Vec<'a, ImportAttribute<'a>>,
+    ) {
+        for el in it {
+            visitor.visit_import_attribute(el);
+        }
+    }
+
+    pub fn walk_import_attribute<'a, V: Visit<'a>>(visitor: &mut V, it: &ImportAttribute<'a>) {
+        // NOTE: AstKind doesn't exists!
+        visitor.visit_import_attribute_key(&it.key);
+        visitor.visit_string_literal(&it.value);
+    }
+
+    pub fn walk_import_attribute_key<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &ImportAttributeKey<'a>,
+    ) {
+        match it {
+            ImportAttributeKey::Identifier(it) => visitor.visit_identifier_name(it),
+            ImportAttributeKey::StringLiteral(it) => visitor.visit_string_literal(it),
+        }
+    }
+
+    pub fn walk_export_all_declaration<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &ExportAllDeclaration<'a>,
+    ) {
+        let kind = AstKind::ExportAllDeclaration(visitor.alloc(it));
+        visitor.enter_node(kind);
+        if let Some(ref exported) = it.exported {
+            visitor.visit_module_export_name(exported);
+        }
+        visitor.visit_string_literal(&it.source);
+        if let Some(ref with_clause) = it.with_clause {
+            visitor.visit_with_clause(with_clause);
+        }
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_export_default_declaration<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &ExportDefaultDeclaration<'a>,
+    ) {
+        let kind = AstKind::ExportDefaultDeclaration(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_export_default_declaration_kind(&it.declaration);
+        visitor.visit_module_export_name(&it.exported);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_export_default_declaration_kind<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &ExportDefaultDeclarationKind<'a>,
+    ) {
+        match it {
+            ExportDefaultDeclarationKind::FunctionDeclaration(it) => {
+                let flags = None;
+                visitor.visit_function(it, flags)
+            }
+            ExportDefaultDeclarationKind::ClassDeclaration(it) => visitor.visit_class(it),
+            match_expression!(ExportDefaultDeclarationKind) => {
+                visitor.visit_expression(it.to_expression())
+            }
+            _ => {}
+        }
+    }
+
+    pub fn walk_export_named_declaration<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &ExportNamedDeclaration<'a>,
+    ) {
+        let kind = AstKind::ExportNamedDeclaration(visitor.alloc(it));
+        visitor.enter_node(kind);
+        if let Some(ref declaration) = it.declaration {
+            visitor.visit_declaration(declaration);
+        }
+        visitor.visit_export_specifiers(&it.specifiers);
+        if let Some(ref source) = it.source {
+            visitor.visit_string_literal(source);
+        }
+        if let Some(ref with_clause) = it.with_clause {
+            visitor.visit_with_clause(with_clause);
+        }
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_export_specifiers<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &Vec<'a, ExportSpecifier<'a>>,
+    ) {
+        for el in it {
+            visitor.visit_export_specifier(el);
+        }
+    }
+
+    pub fn walk_export_specifier<'a, V: Visit<'a>>(visitor: &mut V, it: &ExportSpecifier<'a>) {
+        let kind = AstKind::ExportSpecifier(visitor.alloc(it));
+        visitor.enter_node(kind);
+        visitor.visit_module_export_name(&it.local);
+        visitor.visit_module_export_name(&it.exported);
+        visitor.leave_node(kind);
+    }
+
+    pub fn walk_ts_export_assignment<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &TSExportAssignment<'a>,
+    ) {
+        // NOTE: AstKind doesn't exists!
+        visitor.visit_expression(&it.expression);
+    }
+
+    pub fn walk_ts_namespace_export_declaration<'a, V: Visit<'a>>(
+        visitor: &mut V,
+        it: &TSNamespaceExportDeclaration<'a>,
+    ) {
+        // NOTE: AstKind doesn't exists!
+        visitor.visit_identifier_name(&it.id);
+    }
+}
diff --git a/crates/oxc_ast/src/lib.rs b/crates/oxc_ast/src/lib.rs
index 95f905f77fa98..7f3ab970a885f 100644
--- a/crates/oxc_ast/src/lib.rs
+++ b/crates/oxc_ast/src/lib.rs
@@ -1,4 +1,7 @@
 #![allow(clippy::wildcard_imports)]
+// TODO: I'm not sure if it is a but or intentional but clippy needs this allowed both on this
+// module and the generated one.
+#![allow(clippy::self_named_module_files)]
 
 //! # Oxc AST
 //!
@@ -19,11 +22,18 @@ mod ast_kind_impl;
 pub mod precedence;
 pub mod syntax_directed_operations;
 mod trivia;
-pub mod visit;
 
 mod generated {
     pub mod ast_kind;
     pub mod span;
+    pub mod visit;
+}
+
+pub mod visit {
+    mod visit_mut;
+
+    pub use crate::generated::visit::*;
+    pub use visit_mut::*;
 }
 
 pub use generated::ast_kind;
diff --git a/crates/oxc_ast/src/visit/mod.rs b/crates/oxc_ast/src/visit/mod.rs
deleted file mode 100644
index d927a3961f57f..0000000000000
--- a/crates/oxc_ast/src/visit/mod.rs
+++ /dev/null
@@ -1,7 +0,0 @@
-#![allow(clippy::module_inception)]
-
-mod visit;
-mod visit_mut;
-
-pub use visit::*;
-pub use visit_mut::*;
diff --git a/crates/oxc_ast/src/visit/visit.rs b/crates/oxc_ast/src/visit/visit.rs
deleted file mode 100644
index 834413cd386d5..0000000000000
--- a/crates/oxc_ast/src/visit/visit.rs
+++ /dev/null
@@ -1,3273 +0,0 @@
-//! Visitor Pattern
-//!
-//! See:
-//! * [visitor pattern](https://rust-unofficial.github.io/patterns/patterns/behavioural/visitor.html)
-//! * [rustc visitor](https://github.com/rust-lang/rust/blob/master/compiler/rustc_ast/src/visit.rs)
-
-use oxc_allocator::Vec;
-use oxc_syntax::scope::ScopeFlags;
-use walk::*;
-
-use crate::{ast::*, ast_kind::AstKind};
-
-/// Syntax tree traversal
-pub trait Visit<'a>: Sized {
-    #[allow(unused_variables)]
-    fn enter_node(&mut self, kind: AstKind<'a>) {}
-    #[allow(unused_variables)]
-    fn leave_node(&mut self, kind: AstKind<'a>) {}
-
-    #[allow(unused_variables)]
-    fn enter_scope(&mut self, flags: ScopeFlags) {}
-    fn leave_scope(&mut self) {}
-
-    fn alloc<T>(&self, t: &T) -> &'a T {
-        // SAFETY:
-        // This should be safe as long as `src` is an reference from the allocator.
-        // But honestly, I'm not really sure if this is safe.
-        #[allow(unsafe_code)]
-        unsafe {
-            std::mem::transmute(t)
-        }
-    }
-
-    fn visit_program(&mut self, program: &Program<'a>) {
-        walk_program(self, program);
-    }
-
-    /* ----------  Statement ---------- */
-
-    fn visit_statements(&mut self, stmts: &Vec<'a, Statement<'a>>) {
-        walk_statements(self, stmts);
-    }
-
-    fn visit_statement(&mut self, stmt: &Statement<'a>) {
-        walk_statement(self, stmt);
-    }
-
-    fn visit_block_statement(&mut self, stmt: &BlockStatement<'a>) {
-        walk_block_statement(self, stmt);
-    }
-
-    fn visit_break_statement(&mut self, stmt: &BreakStatement<'a>) {
-        walk_break_statement(self, stmt);
-    }
-
-    fn visit_continue_statement(&mut self, stmt: &ContinueStatement<'a>) {
-        walk_continue_statement(self, stmt);
-    }
-
-    fn visit_debugger_statement(&mut self, stmt: &DebuggerStatement) {
-        walk_debugger_statement(self, stmt);
-    }
-
-    fn visit_do_while_statement(&mut self, stmt: &DoWhileStatement<'a>) {
-        walk_do_while_statement(self, stmt);
-    }
-
-    fn visit_empty_statement(&mut self, stmt: &EmptyStatement) {
-        walk_empty_statement(self, stmt);
-    }
-
-    fn visit_expression_statement(&mut self, stmt: &ExpressionStatement<'a>) {
-        walk_expression_statement(self, stmt);
-    }
-
-    fn visit_for_statement(&mut self, stmt: &ForStatement<'a>) {
-        walk_for_statement(self, stmt);
-    }
-
-    fn visit_for_statement_init(&mut self, init: &ForStatementInit<'a>) {
-        walk_for_statement_init(self, init);
-    }
-
-    fn visit_for_in_statement(&mut self, stmt: &ForInStatement<'a>) {
-        walk_for_in_statement(self, stmt);
-    }
-
-    fn visit_for_of_statement(&mut self, stmt: &ForOfStatement<'a>) {
-        walk_for_of_statement(self, stmt);
-    }
-
-    fn visit_for_statement_left(&mut self, left: &ForStatementLeft<'a>) {
-        walk_for_statement_left(self, left);
-    }
-
-    fn visit_if_statement(&mut self, stmt: &IfStatement<'a>) {
-        walk_if_statement(self, stmt);
-    }
-
-    fn visit_labeled_statement(&mut self, stmt: &LabeledStatement<'a>) {
-        walk_labeled_statement(self, stmt);
-    }
-
-    fn visit_return_statement(&mut self, stmt: &ReturnStatement<'a>) {
-        walk_return_statement(self, stmt);
-    }
-
-    fn visit_switch_statement(&mut self, stmt: &SwitchStatement<'a>) {
-        walk_switch_statement(self, stmt);
-    }
-
-    fn visit_switch_case(&mut self, case: &SwitchCase<'a>) {
-        walk_switch_case(self, case);
-    }
-
-    fn visit_throw_statement(&mut self, stmt: &ThrowStatement<'a>) {
-        walk_throw_statement(self, stmt);
-    }
-
-    fn visit_try_statement(&mut self, stmt: &TryStatement<'a>) {
-        walk_try_statement(self, stmt);
-    }
-
-    fn visit_catch_clause(&mut self, clause: &CatchClause<'a>) {
-        walk_catch_clause(self, clause);
-    }
-
-    fn visit_catch_parameter(&mut self, param: &CatchParameter<'a>) {
-        walk_catch_parameter(self, param);
-    }
-
-    fn visit_finally_clause(&mut self, clause: &BlockStatement<'a>) {
-        walk_finally_clause(self, clause);
-    }
-
-    fn visit_while_statement(&mut self, stmt: &WhileStatement<'a>) {
-        walk_while_statement(self, stmt);
-    }
-
-    fn visit_with_statement(&mut self, stmt: &WithStatement<'a>) {
-        walk_with_statement(self, stmt);
-    }
-
-    fn visit_directive(&mut self, directive: &Directive<'a>) {
-        walk_directive(self, directive);
-    }
-
-    /* ----------  Declaration ---------- */
-
-    fn visit_variable_declaration(&mut self, decl: &VariableDeclaration<'a>) {
-        walk_variable_declaration(self, decl);
-    }
-
-    fn visit_variable_declarator(&mut self, declarator: &VariableDeclarator<'a>) {
-        walk_variable_declarator(self, declarator);
-    }
-
-    /* ----------  Function ---------- */
-
-    fn visit_function(&mut self, func: &Function<'a>, flags: Option<ScopeFlags>) {
-        walk_function(self, func, flags);
-    }
-
-    fn visit_function_body(&mut self, body: &FunctionBody<'a>) {
-        walk_function_body(self, body);
-    }
-
-    fn visit_formal_parameters(&mut self, params: &FormalParameters<'a>) {
-        walk_formal_parameters(self, params);
-    }
-
-    fn visit_formal_parameter(&mut self, param: &FormalParameter<'a>) {
-        walk_formal_parameter(self, param);
-    }
-
-    /* ----------  Class ---------- */
-
-    fn visit_decorator(&mut self, decorator: &Decorator<'a>) {
-        walk_decorator(self, decorator);
-    }
-
-    fn visit_class(&mut self, class: &Class<'a>) {
-        walk_class(self, class);
-    }
-
-    fn visit_class_heritage(&mut self, expr: &Expression<'a>) {
-        walk_class_heritage(self, expr);
-    }
-
-    fn visit_ts_class_implements(&mut self, expr: &TSClassImplements<'a>) {
-        walk_ts_class_implements(self, expr);
-    }
-
-    fn visit_class_body(&mut self, body: &ClassBody<'a>) {
-        walk_class_body(self, body);
-    }
-
-    fn visit_class_element(&mut self, elem: &ClassElement<'a>) {
-        walk_class_element(self, elem);
-    }
-
-    fn visit_static_block(&mut self, block: &StaticBlock<'a>) {
-        walk_static_block(self, block);
-    }
-
-    fn visit_method_definition(&mut self, def: &MethodDefinition<'a>) {
-        walk_method_definition(self, def);
-    }
-
-    fn visit_property_definition(&mut self, def: &PropertyDefinition<'a>) {
-        walk_property_definition(self, def);
-    }
-
-    fn visit_using_declaration(&mut self, decl: &UsingDeclaration<'a>) {
-        walk_using_declaration(self, decl);
-    }
-
-    /* ----------  Expression ---------- */
-
-    fn visit_expression(&mut self, expr: &Expression<'a>) {
-        walk_expression(self, expr);
-    }
-
-    fn visit_meta_property(&mut self, meta: &MetaProperty<'a>) {
-        walk_meta_property(self, meta);
-    }
-
-    fn visit_array_expression(&mut self, expr: &ArrayExpression<'a>) {
-        walk_array_expression(self, expr);
-    }
-
-    fn visit_array_expression_element(&mut self, arg: &ArrayExpressionElement<'a>) {
-        walk_array_expression_element(self, arg);
-    }
-
-    fn visit_argument(&mut self, arg: &Argument<'a>) {
-        walk_argument(self, arg);
-    }
-
-    fn visit_spread_element(&mut self, elem: &SpreadElement<'a>) {
-        walk_spread_element(self, elem);
-    }
-
-    fn visit_expression_array_element(&mut self, expr: &Expression<'a>) {
-        walk_expression_array_element(self, expr);
-    }
-
-    fn visit_elision(&mut self, elision: &Elision) {
-        walk_elision(self, elision);
-    }
-
-    fn visit_assignment_expression(&mut self, expr: &AssignmentExpression<'a>) {
-        walk_assignment_expression(self, expr);
-    }
-
-    fn visit_arrow_function_expression(&mut self, expr: &ArrowFunctionExpression<'a>) {
-        walk_arrow_function_expression(self, expr);
-    }
-
-    fn visit_await_expression(&mut self, expr: &AwaitExpression<'a>) {
-        walk_await_expression(self, expr);
-    }
-
-    fn visit_binary_expression(&mut self, expr: &BinaryExpression<'a>) {
-        walk_binary_expression(self, expr);
-    }
-
-    fn visit_call_expression(&mut self, expr: &CallExpression<'a>) {
-        walk_call_expression(self, expr);
-    }
-
-    fn visit_chain_expression(&mut self, expr: &ChainExpression<'a>) {
-        walk_chain_expression(self, expr);
-    }
-
-    fn visit_chain_element(&mut self, elem: &ChainElement<'a>) {
-        walk_chain_element(self, elem);
-    }
-
-    fn visit_conditional_expression(&mut self, expr: &ConditionalExpression<'a>) {
-        walk_conditional_expression(self, expr);
-    }
-
-    fn visit_import_expression(&mut self, expr: &ImportExpression<'a>) {
-        walk_import_expression(self, expr);
-    }
-
-    fn visit_logical_expression(&mut self, expr: &LogicalExpression<'a>) {
-        walk_logical_expression(self, expr);
-    }
-
-    fn visit_member_expression(&mut self, expr: &MemberExpression<'a>) {
-        walk_member_expression(self, expr);
-    }
-
-    fn visit_computed_member_expression(&mut self, expr: &ComputedMemberExpression<'a>) {
-        walk_computed_member_expression(self, expr);
-    }
-
-    fn visit_static_member_expression(&mut self, expr: &StaticMemberExpression<'a>) {
-        walk_static_member_expression(self, expr);
-    }
-
-    fn visit_private_field_expression(&mut self, expr: &PrivateFieldExpression<'a>) {
-        walk_private_field_expression(self, expr);
-    }
-
-    fn visit_new_expression(&mut self, expr: &NewExpression<'a>) {
-        walk_new_expression(self, expr);
-    }
-
-    fn visit_object_expression(&mut self, expr: &ObjectExpression<'a>) {
-        walk_object_expression(self, expr);
-    }
-
-    fn visit_object_property_kind(&mut self, prop: &ObjectPropertyKind<'a>) {
-        walk_object_property_kind(self, prop);
-    }
-
-    fn visit_object_property(&mut self, prop: &ObjectProperty<'a>) {
-        walk_object_property(self, prop);
-    }
-
-    fn visit_property_key(&mut self, key: &PropertyKey<'a>) {
-        walk_property_key(self, key);
-    }
-
-    fn visit_parenthesized_expression(&mut self, expr: &ParenthesizedExpression<'a>) {
-        walk_parenthesized_expression(self, expr);
-    }
-
-    fn visit_private_in_expression(&mut self, expr: &PrivateInExpression<'a>) {
-        walk_private_in_expression(self, expr);
-    }
-
-    fn visit_sequence_expression(&mut self, expr: &SequenceExpression<'a>) {
-        walk_sequence_expression(self, expr);
-    }
-
-    fn visit_tagged_template_expression(&mut self, expr: &TaggedTemplateExpression<'a>) {
-        walk_tagged_template_expression(self, expr);
-    }
-
-    fn visit_this_expression(&mut self, expr: &ThisExpression) {
-        walk_this_expression(self, expr);
-    }
-
-    fn visit_unary_expression(&mut self, expr: &UnaryExpression<'a>) {
-        walk_unary_expression(self, expr);
-    }
-
-    fn visit_update_expression(&mut self, expr: &UpdateExpression<'a>) {
-        walk_update_expression(self, expr);
-    }
-
-    fn visit_yield_expression(&mut self, expr: &YieldExpression<'a>) {
-        walk_yield_expression(self, expr);
-    }
-
-    fn visit_super(&mut self, expr: &Super) {
-        walk_super(self, expr);
-    }
-
-    fn visit_assignment_target(&mut self, target: &AssignmentTarget<'a>) {
-        walk_assignment_target(self, target);
-    }
-
-    fn visit_simple_assignment_target(&mut self, target: &SimpleAssignmentTarget<'a>) {
-        walk_simple_assignment_target(self, target);
-    }
-
-    fn visit_assignment_target_pattern(&mut self, pat: &AssignmentTargetPattern<'a>) {
-        walk_assignment_target_pattern(self, pat);
-    }
-
-    fn visit_array_assignment_target(&mut self, target: &ArrayAssignmentTarget<'a>) {
-        walk_array_assignment_target(self, target);
-    }
-
-    fn visit_assignment_target_maybe_default(&mut self, target: &AssignmentTargetMaybeDefault<'a>) {
-        walk_assignment_target_maybe_default(self, target);
-    }
-
-    fn visit_assignment_target_with_default(&mut self, target: &AssignmentTargetWithDefault<'a>) {
-        walk_assignment_target_with_default(self, target);
-    }
-
-    fn visit_object_assignment_target(&mut self, target: &ObjectAssignmentTarget<'a>) {
-        walk_object_assignment_target(self, target);
-    }
-
-    fn visit_assignment_target_property(&mut self, property: &AssignmentTargetProperty<'a>) {
-        walk_assignment_target_property(self, property);
-    }
-
-    fn visit_assignment_target_property_identifier(
-        &mut self,
-        ident: &AssignmentTargetPropertyIdentifier<'a>,
-    ) {
-        walk_assignment_target_property_identifier(self, ident);
-    }
-
-    fn visit_assignment_target_property_property(
-        &mut self,
-        property: &AssignmentTargetPropertyProperty<'a>,
-    ) {
-        walk_assignment_target_property_property(self, property);
-    }
-
-    fn visit_assignment_target_rest(&mut self, rest: &AssignmentTargetRest<'a>) {
-        walk_assignment_target_rest(self, rest);
-    }
-
-    /* ----------  Expression ---------- */
-
-    fn visit_jsx_element(&mut self, elem: &JSXElement<'a>) {
-        walk_jsx_element(self, elem);
-    }
-
-    fn visit_jsx_opening_element(&mut self, elem: &JSXOpeningElement<'a>) {
-        walk_jsx_opening_element(self, elem);
-    }
-
-    fn visit_jsx_closing_element(&mut self, elem: &JSXClosingElement<'a>) {
-        walk_jsx_closing_element(self, elem);
-    }
-
-    fn visit_jsx_element_name(&mut self, name: &JSXElementName<'a>) {
-        walk_jsx_element_name(self, name);
-    }
-
-    fn visit_jsx_identifier(&mut self, ident: &JSXIdentifier<'a>) {
-        walk_jsx_identifier(self, ident);
-    }
-
-    fn visit_jsx_member_expression(&mut self, expr: &JSXMemberExpression<'a>) {
-        walk_jsx_member_expression(self, expr);
-    }
-
-    fn visit_jsx_member_expression_object(&mut self, expr: &JSXMemberExpressionObject<'a>) {
-        walk_jsx_member_expression_object(self, expr);
-    }
-
-    fn visit_jsx_namespaced_name(&mut self, name: &JSXNamespacedName<'a>) {
-        walk_jsx_namespaced_name(self, name);
-    }
-
-    fn visit_jsx_attribute_item(&mut self, item: &JSXAttributeItem<'a>) {
-        walk_jsx_attribute_item(self, item);
-    }
-
-    fn visit_jsx_attribute(&mut self, attribute: &JSXAttribute<'a>) {
-        walk_jsx_attribute(self, attribute);
-    }
-
-    fn visit_jsx_spread_attribute(&mut self, attribute: &JSXSpreadAttribute<'a>) {
-        walk_jsx_spread_attribute(self, attribute);
-    }
-
-    fn visit_jsx_attribute_value(&mut self, value: &JSXAttributeValue<'a>) {
-        walk_jsx_attribute_value(self, value);
-    }
-
-    fn visit_jsx_expression_container(&mut self, expr: &JSXExpressionContainer<'a>) {
-        walk_jsx_expression_container(self, expr);
-    }
-
-    fn visit_jsx_expression(&mut self, expr: &JSXExpression<'a>) {
-        walk_jsx_expression(self, expr);
-    }
-
-    fn visit_jsx_fragment(&mut self, elem: &JSXFragment<'a>) {
-        walk_jsx_fragment(self, elem);
-    }
-
-    fn visit_jsx_child(&mut self, child: &JSXChild<'a>) {
-        walk_jsx_child(self, child);
-    }
-
-    fn visit_jsx_spread_child(&mut self, child: &JSXSpreadChild<'a>) {
-        walk_jsx_spread_child(self, child);
-    }
-
-    fn visit_jsx_text(&mut self, child: &JSXText<'a>) {
-        walk_jsx_text(self, child);
-    }
-
-    /* ----------  Pattern ---------- */
-
-    fn visit_binding_pattern(&mut self, pat: &BindingPattern<'a>) {
-        walk_binding_pattern(self, pat);
-    }
-
-    fn visit_binding_identifier(&mut self, ident: &BindingIdentifier<'a>) {
-        walk_binding_identifier(self, ident);
-    }
-
-    fn visit_object_pattern(&mut self, pat: &ObjectPattern<'a>) {
-        walk_object_pattern(self, pat);
-    }
-
-    fn visit_binding_property(&mut self, prop: &BindingProperty<'a>) {
-        walk_binding_property(self, prop);
-    }
-
-    fn visit_array_pattern(&mut self, pat: &ArrayPattern<'a>) {
-        walk_array_pattern(self, pat);
-    }
-
-    fn visit_rest_element(&mut self, pat: &BindingRestElement<'a>) {
-        walk_rest_element(self, pat);
-    }
-
-    fn visit_assignment_pattern(&mut self, pat: &AssignmentPattern<'a>) {
-        walk_assignment_pattern(self, pat);
-    }
-
-    /* ----------  Identifier ---------- */
-
-    fn visit_identifier_reference(&mut self, ident: &IdentifierReference<'a>) {
-        walk_identifier_reference(self, ident);
-    }
-
-    fn visit_private_identifier(&mut self, ident: &PrivateIdentifier<'a>) {
-        walk_private_identifier(self, ident);
-    }
-
-    fn visit_label_identifier(&mut self, ident: &LabelIdentifier<'a>) {
-        walk_label_identifier(self, ident);
-    }
-
-    fn visit_identifier_name(&mut self, ident: &IdentifierName<'a>) {
-        walk_identifier_name(self, ident);
-    }
-
-    /* ----------  Literal ---------- */
-
-    fn visit_number_literal(&mut self, lit: &NumericLiteral<'a>) {
-        walk_number_literal(self, lit);
-    }
-
-    fn visit_boolean_literal(&mut self, lit: &BooleanLiteral) {
-        walk_boolean_literal(self, lit);
-    }
-
-    fn visit_null_literal(&mut self, lit: &NullLiteral) {
-        walk_null_literal(self, lit);
-    }
-
-    fn visit_bigint_literal(&mut self, lit: &BigIntLiteral<'a>) {
-        walk_bigint_literal(self, lit);
-    }
-
-    fn visit_string_literal(&mut self, lit: &StringLiteral<'a>) {
-        walk_string_literal(self, lit);
-    }
-
-    fn visit_template_literal(&mut self, lit: &TemplateLiteral<'a>) {
-        walk_template_literal(self, lit);
-    }
-
-    fn visit_reg_expr_literal(&mut self, lit: &RegExpLiteral<'a>) {
-        walk_reg_expr_literal(self, lit);
-    }
-
-    fn visit_template_element(&mut self, elem: &TemplateElement) {
-        walk_template_element(self, elem);
-    }
-
-    /* ----------  Module ---------- */
-
-    fn visit_module_declaration(&mut self, decl: &ModuleDeclaration<'a>) {
-        walk_module_declaration(self, decl);
-    }
-
-    fn visit_import_declaration(&mut self, decl: &ImportDeclaration<'a>) {
-        walk_import_declaration(self, decl);
-    }
-
-    fn visit_with_clause(&mut self, with_clause: &WithClause<'a>) {
-        walk_with_clause(self, with_clause);
-    }
-
-    fn visit_import_attribute(&mut self, attribute: &ImportAttribute<'a>) {
-        walk_import_attribute(self, attribute);
-    }
-
-    fn visit_import_attribute_key(&mut self, key: &ImportAttributeKey<'a>) {
-        walk_import_attribute_key(self, key);
-    }
-
-    fn visit_import_declaration_specifier(&mut self, specifier: &ImportDeclarationSpecifier<'a>) {
-        walk_import_declaration_specifier(self, specifier);
-    }
-
-    fn visit_import_specifier(&mut self, specifier: &ImportSpecifier<'a>) {
-        walk_import_specifier(self, specifier);
-    }
-
-    fn visit_import_default_specifier(&mut self, specifier: &ImportDefaultSpecifier<'a>) {
-        walk_import_default_specifier(self, specifier);
-    }
-
-    fn visit_import_name_specifier(&mut self, specifier: &ImportNamespaceSpecifier<'a>) {
-        walk_import_name_specifier(self, specifier);
-    }
-
-    fn visit_export_all_declaration(&mut self, decl: &ExportAllDeclaration<'a>) {
-        walk_export_all_declaration(self, decl);
-    }
-
-    fn visit_export_default_declaration(&mut self, decl: &ExportDefaultDeclaration<'a>) {
-        walk_export_default_declaration(self, decl);
-    }
-
-    fn visit_export_named_declaration(&mut self, decl: &ExportNamedDeclaration<'a>) {
-        walk_export_named_declaration(self, decl);
-    }
-
-    fn visit_export_specifier(&mut self, specifier: &ExportSpecifier<'a>) {
-        walk_export_specifier(self, specifier);
-    }
-
-    fn visit_module_export_name(&mut self, name: &ModuleExportName<'a>) {
-        walk_module_export_name(self, name);
-    }
-
-    fn visit_ts_enum_member(&mut self, member: &TSEnumMember<'a>) {
-        walk_enum_member(self, member);
-    }
-
-    fn visit_ts_enum_declaration(&mut self, decl: &TSEnumDeclaration<'a>) {
-        walk_ts_enum_declaration(self, decl);
-    }
-
-    fn visit_declaration(&mut self, decl: &Declaration<'a>) {
-        walk_declaration(self, decl);
-    }
-
-    fn visit_ts_import_equals_declaration(&mut self, decl: &TSImportEqualsDeclaration<'a>) {
-        walk_ts_import_equals_declaration(self, decl);
-    }
-
-    fn visit_ts_module_reference(&mut self, reference: &TSModuleReference<'a>) {
-        walk_ts_module_reference(self, reference);
-    }
-
-    fn visit_ts_type_name(&mut self, name: &TSTypeName<'a>) {
-        walk_ts_type_name(self, name);
-    }
-
-    fn visit_ts_external_module_reference(&mut self, reference: &TSExternalModuleReference<'a>) {
-        walk_ts_external_module_reference(self, reference);
-    }
-
-    fn visit_ts_module_declaration(&mut self, decl: &TSModuleDeclaration<'a>) {
-        walk_ts_module_declaration(self, decl);
-    }
-
-    fn visit_ts_module_block(&mut self, block: &TSModuleBlock<'a>) {
-        walk_ts_module_block(self, block);
-    }
-
-    fn visit_ts_type_alias_declaration(&mut self, decl: &TSTypeAliasDeclaration<'a>) {
-        walk_ts_type_alias_declaration(self, decl);
-    }
-
-    fn visit_ts_interface_declaration(&mut self, decl: &TSInterfaceDeclaration<'a>) {
-        walk_ts_interface_declaration(self, decl);
-    }
-
-    fn visit_ts_interface_heritage(&mut self, heritage: &TSInterfaceHeritage<'a>) {
-        walk_ts_interface_heritage(self, heritage);
-    }
-
-    fn visit_ts_as_expression(&mut self, expr: &TSAsExpression<'a>) {
-        walk_ts_as_expression(self, expr);
-    }
-
-    fn visit_ts_satisfies_expression(&mut self, expr: &TSSatisfiesExpression<'a>) {
-        walk_ts_satisfies_expression(self, expr);
-    }
-
-    fn visit_ts_non_null_expression(&mut self, expr: &TSNonNullExpression<'a>) {
-        walk_ts_non_null_expression(self, expr);
-    }
-
-    fn visit_ts_type_assertion(&mut self, expr: &TSTypeAssertion<'a>) {
-        walk_ts_type_assertion(self, expr);
-    }
-
-    fn visit_ts_instantiation_expression(&mut self, expr: &TSInstantiationExpression<'a>) {
-        walk_ts_instantiation_expression(self, expr);
-    }
-
-    fn visit_ts_type_annotation(&mut self, annotation: &TSTypeAnnotation<'a>) {
-        walk_ts_type_annotation(self, annotation);
-    }
-
-    fn visit_ts_type(&mut self, ty: &TSType<'a>) {
-        walk_ts_type(self, ty);
-    }
-
-    fn visit_ts_tuple_element(&mut self, ty: &TSTupleElement<'a>) {
-        walk_ts_tuple_element(self, ty);
-    }
-
-    fn visit_ts_this_parameter(&mut self, param: &TSThisParameter<'a>) {
-        walk_ts_this_parameter(self, param);
-    }
-
-    fn visit_ts_type_parameter(&mut self, ty: &TSTypeParameter<'a>) {
-        walk_ts_type_parameter(self, ty);
-    }
-
-    fn visit_ts_type_parameter_instantiation(&mut self, ty: &TSTypeParameterInstantiation<'a>) {
-        walk_ts_type_parameter_instantiation(self, ty);
-    }
-
-    fn visit_ts_type_parameter_declaration(&mut self, ty: &TSTypeParameterDeclaration<'a>) {
-        walk_ts_type_parameter_declaration(self, ty);
-    }
-
-    fn visit_ts_any_keyword(&mut self, ty: &TSAnyKeyword) {
-        walk_ts_any_keyword(self, ty);
-    }
-
-    fn visit_ts_big_int_keyword(&mut self, ty: &TSBigIntKeyword) {
-        walk_ts_big_int_keyword(self, ty);
-    }
-
-    fn visit_ts_boolean_keyword(&mut self, ty: &TSBooleanKeyword) {
-        walk_ts_boolean_keyword(self, ty);
-    }
-
-    fn visit_ts_intrinsic_keyword(&mut self, ty: &TSIntrinsicKeyword) {
-        walk_ts_intrinsic_keyword(self, ty);
-    }
-
-    fn visit_ts_never_keyword(&mut self, ty: &TSNeverKeyword) {
-        walk_ts_never_keyword(self, ty);
-    }
-
-    fn visit_ts_null_keyword(&mut self, ty: &TSNullKeyword) {
-        walk_ts_null_keyword(self, ty);
-    }
-
-    fn visit_ts_number_keyword(&mut self, ty: &TSNumberKeyword) {
-        walk_ts_number_keyword(self, ty);
-    }
-
-    fn visit_ts_object_keyword(&mut self, ty: &TSObjectKeyword) {
-        walk_ts_object_keyword(self, ty);
-    }
-
-    fn visit_ts_string_keyword(&mut self, ty: &TSStringKeyword) {
-        walk_ts_string_keyword(self, ty);
-    }
-
-    fn visit_ts_symbol_keyword(&mut self, ty: &TSSymbolKeyword) {
-        walk_ts_symbol_keyword(self, ty);
-    }
-
-    fn visit_ts_undefined_keyword(&mut self, ty: &TSUndefinedKeyword) {
-        walk_ts_undefined_keyword(self, ty);
-    }
-
-    fn visit_ts_unknown_keyword(&mut self, ty: &TSUnknownKeyword) {
-        walk_ts_unknown_keyword(self, ty);
-    }
-
-    fn visit_ts_void_keyword(&mut self, ty: &TSVoidKeyword) {
-        walk_ts_void_keyword(self, ty);
-    }
-
-    fn visit_ts_array_type(&mut self, ty: &TSArrayType<'a>) {
-        walk_ts_array_type(self, ty);
-    }
-
-    fn visit_ts_conditional_type(&mut self, ty: &TSConditionalType<'a>) {
-        walk_ts_conditional_type(self, ty);
-    }
-
-    fn visit_ts_constructor_type(&mut self, ty: &TSConstructorType<'a>) {
-        walk_ts_constructor_type(self, ty);
-    }
-
-    fn visit_ts_function_type(&mut self, ty: &TSFunctionType<'a>) {
-        walk_ts_function_type(self, ty);
-    }
-
-    fn visit_ts_import_type(&mut self, ty: &TSImportType<'a>) {
-        walk_ts_import_type(self, ty);
-    }
-
-    fn visit_ts_indexed_access_type(&mut self, ty: &TSIndexedAccessType<'a>) {
-        walk_ts_indexed_access_type(self, ty);
-    }
-
-    fn visit_ts_infer_type(&mut self, ty: &TSInferType<'a>) {
-        walk_ts_infer_type(self, ty);
-    }
-
-    fn visit_ts_intersection_type(&mut self, ty: &TSIntersectionType<'a>) {
-        walk_ts_intersection_type(self, ty);
-    }
-
-    fn visit_ts_literal_type(&mut self, ty: &TSLiteralType<'a>) {
-        walk_ts_literal_type(self, ty);
-    }
-
-    fn visit_ts_mapped_type(&mut self, ty: &TSMappedType<'a>) {
-        walk_ts_mapped_type(self, ty);
-    }
-
-    fn visit_ts_named_tuple_member(&mut self, ty: &TSNamedTupleMember<'a>) {
-        walk_ts_named_tuple_member(self, ty);
-    }
-
-    fn visit_ts_qualified_name(&mut self, name: &TSQualifiedName<'a>) {
-        walk_ts_qualified_name(self, name);
-    }
-
-    fn visit_ts_template_literal_type(&mut self, ty: &TSTemplateLiteralType<'a>) {
-        walk_ts_template_literal_type(self, ty);
-    }
-
-    fn visit_ts_this_type(&mut self, ty: &TSThisType) {
-        walk_ts_this_type(self, ty);
-    }
-
-    fn visit_ts_tuple_type(&mut self, ty: &TSTupleType<'a>) {
-        walk_ts_tuple_type(self, ty);
-    }
-
-    fn visit_ts_type_literal(&mut self, ty: &TSTypeLiteral<'a>) {
-        walk_ts_type_literal(self, ty);
-    }
-
-    fn visit_ts_type_operator_type(&mut self, ty: &TSTypeOperator<'a>) {
-        walk_ts_type_operator_type(self, ty);
-    }
-
-    fn visit_ts_type_predicate(&mut self, ty: &TSTypePredicate<'a>) {
-        walk_ts_type_predicate(self, ty);
-    }
-
-    fn visit_ts_type_query(&mut self, ty: &TSTypeQuery<'a>) {
-        walk_ts_type_query(self, ty);
-    }
-
-    fn visit_ts_type_reference(&mut self, ty: &TSTypeReference<'a>) {
-        walk_ts_type_reference(self, ty);
-    }
-
-    fn visit_ts_union_type(&mut self, ty: &TSUnionType<'a>) {
-        walk_ts_union_type(self, ty);
-    }
-
-    fn visit_ts_signature(&mut self, signature: &TSSignature<'a>) {
-        walk_ts_signature(self, signature);
-    }
-
-    fn visit_ts_construct_signature_declaration(
-        &mut self,
-        signature: &TSConstructSignatureDeclaration<'a>,
-    ) {
-        walk_ts_construct_signature_declaration(self, signature);
-    }
-
-    fn visit_ts_method_signature(&mut self, signature: &TSMethodSignature<'a>) {
-        walk_ts_method_signature(self, signature);
-    }
-
-    fn visit_ts_index_signature_name(&mut self, name: &TSIndexSignatureName<'a>) {
-        walk_ts_index_signature_name(self, name);
-    }
-
-    fn visit_ts_index_signature(&mut self, signature: &TSIndexSignature<'a>) {
-        walk_ts_index_signature(self, signature);
-    }
-
-    fn visit_ts_property_signature(&mut self, signature: &TSPropertySignature<'a>) {
-        walk_ts_property_signature(self, signature);
-    }
-
-    fn visit_ts_call_signature_declaration(&mut self, signature: &TSCallSignatureDeclaration<'a>) {
-        walk_ts_call_signature_declaration(self, signature);
-    }
-
-    fn visit_ts_import_attributes(&mut self, attributes: &TSImportAttributes<'a>) {
-        walk_ts_import_attributes(self, attributes);
-    }
-
-    fn visit_ts_import_attribute(&mut self, attribute: &TSImportAttribute<'a>) {
-        walk_ts_import_attribute(self, attribute);
-    }
-
-    fn visit_ts_import_attribute_name(&mut self, name: &TSImportAttributeName<'a>) {
-        walk_ts_import_attribute_name(self, name);
-    }
-}
-
-pub mod walk {
-    use super::*;
-
-    pub fn walk_program<'a, V: Visit<'a>>(visitor: &mut V, program: &Program<'a>) {
-        let kind = AstKind::Program(visitor.alloc(program));
-        visitor.enter_scope({
-            let mut flags = ScopeFlags::Top;
-            if program.is_strict() {
-                flags |= ScopeFlags::StrictMode;
-            }
-            flags
-        });
-        visitor.enter_node(kind);
-        for directive in &program.directives {
-            visitor.visit_directive(directive);
-        }
-        visitor.visit_statements(&program.body);
-        visitor.leave_node(kind);
-        visitor.leave_scope();
-    }
-
-    /* ----------  Statement ---------- */
-
-    pub fn walk_statements<'a, V: Visit<'a>>(visitor: &mut V, stmts: &Vec<'a, Statement<'a>>) {
-        for stmt in stmts {
-            visitor.visit_statement(stmt);
-        }
-    }
-
-    pub fn walk_statement<'a, V: Visit<'a>>(visitor: &mut V, stmt: &Statement<'a>) {
-        match stmt {
-            Statement::BlockStatement(stmt) => visitor.visit_block_statement(stmt),
-            Statement::BreakStatement(stmt) => visitor.visit_break_statement(stmt),
-            Statement::ContinueStatement(stmt) => visitor.visit_continue_statement(stmt),
-            Statement::DebuggerStatement(stmt) => visitor.visit_debugger_statement(stmt),
-            Statement::DoWhileStatement(stmt) => visitor.visit_do_while_statement(stmt),
-            Statement::EmptyStatement(stmt) => visitor.visit_empty_statement(stmt),
-            Statement::ExpressionStatement(stmt) => visitor.visit_expression_statement(stmt),
-            Statement::ForInStatement(stmt) => visitor.visit_for_in_statement(stmt),
-            Statement::ForOfStatement(stmt) => visitor.visit_for_of_statement(stmt),
-            Statement::ForStatement(stmt) => visitor.visit_for_statement(stmt),
-            Statement::IfStatement(stmt) => visitor.visit_if_statement(stmt),
-            Statement::LabeledStatement(stmt) => visitor.visit_labeled_statement(stmt),
-            Statement::ReturnStatement(stmt) => visitor.visit_return_statement(stmt),
-            Statement::SwitchStatement(stmt) => visitor.visit_switch_statement(stmt),
-            Statement::ThrowStatement(stmt) => visitor.visit_throw_statement(stmt),
-            Statement::TryStatement(stmt) => visitor.visit_try_statement(stmt),
-            Statement::WhileStatement(stmt) => visitor.visit_while_statement(stmt),
-            Statement::WithStatement(stmt) => visitor.visit_with_statement(stmt),
-
-            match_module_declaration!(Statement) => {
-                visitor.visit_module_declaration(stmt.to_module_declaration());
-            }
-            match_declaration!(Statement) => visitor.visit_declaration(stmt.to_declaration()),
-        }
-    }
-
-    pub fn walk_block_statement<'a, V: Visit<'a>>(visitor: &mut V, stmt: &BlockStatement<'a>) {
-        let kind = AstKind::BlockStatement(visitor.alloc(stmt));
-        visitor.enter_scope(ScopeFlags::empty());
-        visitor.enter_node(kind);
-        visitor.visit_statements(&stmt.body);
-        visitor.leave_node(kind);
-        visitor.leave_scope();
-    }
-
-    pub fn walk_break_statement<'a, V: Visit<'a>>(visitor: &mut V, stmt: &BreakStatement<'a>) {
-        let kind = AstKind::BreakStatement(visitor.alloc(stmt));
-        visitor.enter_node(kind);
-        if let Some(break_target) = &stmt.label {
-            visitor.visit_label_identifier(break_target);
-        }
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_continue_statement<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        stmt: &ContinueStatement<'a>,
-    ) {
-        let kind = AstKind::ContinueStatement(visitor.alloc(stmt));
-        visitor.enter_node(kind);
-        if let Some(continue_target) = &stmt.label {
-            visitor.visit_label_identifier(continue_target);
-        }
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_debugger_statement<'a, V: Visit<'a>>(visitor: &mut V, stmt: &DebuggerStatement) {
-        let kind = AstKind::DebuggerStatement(visitor.alloc(stmt));
-        visitor.enter_node(kind);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_do_while_statement<'a, V: Visit<'a>>(visitor: &mut V, stmt: &DoWhileStatement<'a>) {
-        let kind = AstKind::DoWhileStatement(visitor.alloc(stmt));
-        visitor.enter_node(kind);
-        visitor.visit_statement(&stmt.body);
-        visitor.visit_expression(&stmt.test);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_empty_statement<'a, V: Visit<'a>>(visitor: &mut V, stmt: &EmptyStatement) {
-        let kind = AstKind::EmptyStatement(visitor.alloc(stmt));
-        visitor.enter_node(kind);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_expression_statement<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        stmt: &ExpressionStatement<'a>,
-    ) {
-        let kind = AstKind::ExpressionStatement(visitor.alloc(stmt));
-        visitor.enter_node(kind);
-        visitor.visit_expression(&stmt.expression);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_for_statement<'a, V: Visit<'a>>(visitor: &mut V, stmt: &ForStatement<'a>) {
-        let kind = AstKind::ForStatement(visitor.alloc(stmt));
-        let is_lexical_declaration =
-            stmt.init.as_ref().is_some_and(ForStatementInit::is_lexical_declaration);
-        if is_lexical_declaration {
-            visitor.enter_scope(ScopeFlags::empty());
-        }
-        visitor.enter_node(kind);
-        if let Some(init) = &stmt.init {
-            visitor.visit_for_statement_init(init);
-        }
-        if let Some(test) = &stmt.test {
-            visitor.visit_expression(test);
-        }
-        if let Some(update) = &stmt.update {
-            visitor.visit_expression(update);
-        }
-        visitor.visit_statement(&stmt.body);
-        visitor.leave_node(kind);
-        if is_lexical_declaration {
-            visitor.leave_scope();
-        }
-    }
-
-    pub fn walk_for_statement_init<'a, V: Visit<'a>>(visitor: &mut V, init: &ForStatementInit<'a>) {
-        let kind = AstKind::ForStatementInit(visitor.alloc(init));
-        visitor.enter_node(kind);
-        match init {
-            ForStatementInit::UsingDeclaration(decl) => {
-                visitor.visit_using_declaration(decl);
-            }
-            ForStatementInit::VariableDeclaration(decl) => {
-                visitor.visit_variable_declaration(decl);
-            }
-            match_expression!(ForStatementInit) => visitor.visit_expression(init.to_expression()),
-        }
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_for_in_statement<'a, V: Visit<'a>>(visitor: &mut V, stmt: &ForInStatement<'a>) {
-        let kind = AstKind::ForInStatement(visitor.alloc(stmt));
-        let is_lexical_declaration = stmt.left.is_lexical_declaration();
-        if is_lexical_declaration {
-            visitor.enter_scope(ScopeFlags::empty());
-        }
-        visitor.enter_node(kind);
-        visitor.visit_for_statement_left(&stmt.left);
-        visitor.visit_expression(&stmt.right);
-        visitor.visit_statement(&stmt.body);
-        visitor.leave_node(kind);
-        if is_lexical_declaration {
-            visitor.leave_scope();
-        }
-    }
-
-    pub fn walk_for_of_statement<'a, V: Visit<'a>>(visitor: &mut V, stmt: &ForOfStatement<'a>) {
-        let kind = AstKind::ForOfStatement(visitor.alloc(stmt));
-        let is_lexical_declaration = stmt.left.is_lexical_declaration();
-        if is_lexical_declaration {
-            visitor.enter_scope(ScopeFlags::empty());
-        }
-        visitor.enter_node(kind);
-        visitor.visit_for_statement_left(&stmt.left);
-        visitor.visit_expression(&stmt.right);
-        visitor.visit_statement(&stmt.body);
-        visitor.leave_node(kind);
-        if is_lexical_declaration {
-            visitor.leave_scope();
-        }
-    }
-
-    pub fn walk_for_statement_left<'a, V: Visit<'a>>(visitor: &mut V, left: &ForStatementLeft<'a>) {
-        match left {
-            ForStatementLeft::VariableDeclaration(decl) => {
-                visitor.visit_variable_declaration(decl);
-            }
-            match_assignment_target!(ForStatementLeft) => {
-                visitor.visit_assignment_target(left.to_assignment_target());
-            }
-            ForStatementLeft::UsingDeclaration(decl) => {
-                visitor.visit_using_declaration(decl);
-            }
-        }
-    }
-
-    pub fn walk_if_statement<'a, V: Visit<'a>>(visitor: &mut V, stmt: &IfStatement<'a>) {
-        let kind = AstKind::IfStatement(visitor.alloc(stmt));
-        visitor.enter_node(kind);
-        visitor.visit_expression(&stmt.test);
-        visitor.visit_statement(&stmt.consequent);
-        if let Some(alternate) = &stmt.alternate {
-            visitor.visit_statement(alternate);
-        }
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_labeled_statement<'a, V: Visit<'a>>(visitor: &mut V, stmt: &LabeledStatement<'a>) {
-        let kind = AstKind::LabeledStatement(visitor.alloc(stmt));
-        visitor.enter_node(kind);
-        visitor.visit_label_identifier(&stmt.label);
-        visitor.visit_statement(&stmt.body);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_return_statement<'a, V: Visit<'a>>(visitor: &mut V, stmt: &ReturnStatement<'a>) {
-        let kind = AstKind::ReturnStatement(visitor.alloc(stmt));
-        visitor.enter_node(kind);
-        if let Some(arg) = &stmt.argument {
-            visitor.visit_expression(arg);
-        }
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_switch_statement<'a, V: Visit<'a>>(visitor: &mut V, stmt: &SwitchStatement<'a>) {
-        let kind = AstKind::SwitchStatement(visitor.alloc(stmt));
-        visitor.enter_node(kind);
-        visitor.visit_expression(&stmt.discriminant);
-        visitor.enter_scope(ScopeFlags::empty());
-        for case in &stmt.cases {
-            visitor.visit_switch_case(case);
-        }
-        visitor.leave_scope();
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_switch_case<'a, V: Visit<'a>>(visitor: &mut V, case: &SwitchCase<'a>) {
-        let kind = AstKind::SwitchCase(visitor.alloc(case));
-        visitor.enter_node(kind);
-        if let Some(expr) = &case.test {
-            visitor.visit_expression(expr);
-        }
-        visitor.visit_statements(&case.consequent);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_throw_statement<'a, V: Visit<'a>>(visitor: &mut V, stmt: &ThrowStatement<'a>) {
-        let kind = AstKind::ThrowStatement(visitor.alloc(stmt));
-        visitor.enter_node(kind);
-        visitor.visit_expression(&stmt.argument);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_try_statement<'a, V: Visit<'a>>(visitor: &mut V, stmt: &TryStatement<'a>) {
-        let kind = AstKind::TryStatement(visitor.alloc(stmt));
-        visitor.enter_node(kind);
-        visitor.visit_block_statement(&stmt.block);
-        if let Some(handler) = &stmt.handler {
-            visitor.visit_catch_clause(handler);
-        }
-        if let Some(finalizer) = &stmt.finalizer {
-            visitor.visit_finally_clause(finalizer);
-        }
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_catch_clause<'a, V: Visit<'a>>(visitor: &mut V, clause: &CatchClause<'a>) {
-        let kind = AstKind::CatchClause(visitor.alloc(clause));
-        visitor.enter_scope(ScopeFlags::empty());
-        visitor.enter_node(kind);
-        if let Some(param) = &clause.param {
-            visitor.visit_catch_parameter(param);
-        }
-        visitor.visit_statements(&clause.body.body);
-        visitor.leave_node(kind);
-        visitor.leave_scope();
-    }
-
-    pub fn walk_catch_parameter<'a, V: Visit<'a>>(visitor: &mut V, param: &CatchParameter<'a>) {
-        let kind = AstKind::CatchParameter(visitor.alloc(param));
-        visitor.enter_node(kind);
-        visitor.visit_binding_pattern(&param.pattern);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_finally_clause<'a, V: Visit<'a>>(visitor: &mut V, clause: &BlockStatement<'a>) {
-        let kind = AstKind::FinallyClause(visitor.alloc(clause));
-        visitor.enter_scope(ScopeFlags::empty());
-        visitor.enter_node(kind);
-        visitor.visit_statements(&clause.body);
-        visitor.leave_node(kind);
-        visitor.leave_scope();
-    }
-
-    pub fn walk_while_statement<'a, V: Visit<'a>>(visitor: &mut V, stmt: &WhileStatement<'a>) {
-        let kind = AstKind::WhileStatement(visitor.alloc(stmt));
-        visitor.enter_node(kind);
-        visitor.visit_expression(&stmt.test);
-        visitor.visit_statement(&stmt.body);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_with_statement<'a, V: Visit<'a>>(visitor: &mut V, stmt: &WithStatement<'a>) {
-        let kind = AstKind::WithStatement(visitor.alloc(stmt));
-        visitor.enter_node(kind);
-        visitor.visit_expression(&stmt.object);
-        visitor.visit_statement(&stmt.body);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_directive<'a, V: Visit<'a>>(visitor: &mut V, directive: &Directive<'a>) {
-        let kind = AstKind::Directive(visitor.alloc(directive));
-        visitor.enter_node(kind);
-        visitor.visit_string_literal(&directive.expression);
-        visitor.leave_node(kind);
-    }
-
-    /* ----------  Declaration ---------- */
-
-    pub fn walk_variable_declaration<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        decl: &VariableDeclaration<'a>,
-    ) {
-        let kind = AstKind::VariableDeclaration(visitor.alloc(decl));
-        visitor.enter_node(kind);
-        for declarator in &decl.declarations {
-            visitor.visit_variable_declarator(declarator);
-        }
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_variable_declarator<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        declarator: &VariableDeclarator<'a>,
-    ) {
-        let kind = AstKind::VariableDeclarator(visitor.alloc(declarator));
-        visitor.enter_node(kind);
-        visitor.visit_binding_pattern(&declarator.id);
-        if let Some(init) = &declarator.init {
-            visitor.visit_expression(init);
-        }
-        visitor.leave_node(kind);
-    }
-
-    /* ----------  Function ---------- */
-
-    pub fn walk_function<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        func: &Function<'a>,
-        flags: Option<ScopeFlags>,
-    ) {
-        let kind = AstKind::Function(visitor.alloc(func));
-        visitor.enter_scope({
-            let mut flags = flags.unwrap_or(ScopeFlags::empty()) | ScopeFlags::Function;
-            if func.is_strict() {
-                flags |= ScopeFlags::StrictMode;
-            }
-            flags
-        });
-        visitor.enter_node(kind);
-        if let Some(ident) = &func.id {
-            visitor.visit_binding_identifier(ident);
-        }
-        if let Some(parameters) = &func.type_parameters {
-            visitor.visit_ts_type_parameter_declaration(parameters);
-        }
-        if let Some(this_param) = &func.this_param {
-            visitor.visit_ts_this_parameter(this_param);
-        }
-        visitor.visit_formal_parameters(&func.params);
-        if let Some(body) = &func.body {
-            visitor.visit_function_body(body);
-        }
-        if let Some(annotation) = &func.return_type {
-            visitor.visit_ts_type_annotation(annotation);
-        }
-        visitor.leave_node(kind);
-        visitor.leave_scope();
-    }
-
-    pub fn walk_function_body<'a, V: Visit<'a>>(visitor: &mut V, body: &FunctionBody<'a>) {
-        let kind = AstKind::FunctionBody(visitor.alloc(body));
-        visitor.enter_node(kind);
-        for directive in &body.directives {
-            visitor.visit_directive(directive);
-        }
-        visitor.visit_statements(&body.statements);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_formal_parameters<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        params: &FormalParameters<'a>,
-    ) {
-        let kind = AstKind::FormalParameters(visitor.alloc(params));
-        visitor.enter_node(kind);
-        for param in &params.items {
-            visitor.visit_formal_parameter(param);
-        }
-        if let Some(rest) = &params.rest {
-            visitor.visit_rest_element(rest);
-        }
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_formal_parameter<'a, V: Visit<'a>>(visitor: &mut V, param: &FormalParameter<'a>) {
-        let kind = AstKind::FormalParameter(visitor.alloc(param));
-        visitor.enter_node(kind);
-        for decorator in &param.decorators {
-            visitor.visit_decorator(decorator);
-        }
-        visitor.visit_binding_pattern(&param.pattern);
-        visitor.leave_node(kind);
-    }
-
-    /* ----------  Class ---------- */
-
-    pub fn walk_decorator<'a, V: Visit<'a>>(visitor: &mut V, decorator: &Decorator<'a>) {
-        let kind = AstKind::Decorator(visitor.alloc(decorator));
-        visitor.enter_node(kind);
-        visitor.visit_expression(&decorator.expression);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_class<'a, V: Visit<'a>>(visitor: &mut V, class: &Class<'a>) {
-        // Class level decorators are transpiled as functions outside of the class taking the class
-        // itvisitor as argument. They should be visited before class is entered. E.g., they inherit
-        // strict mode from the enclosing scope rather than from class.
-        for decorator in &class.decorators {
-            visitor.visit_decorator(decorator);
-        }
-        let kind = AstKind::Class(visitor.alloc(class));
-
-        // FIXME(don): Should we enter a scope when visiting class declarations?
-        let is_class_expr = class.r#type == ClassType::ClassExpression;
-        if is_class_expr {
-            // Class expressions create a temporary scope with the class name as its only variable
-            // E.g., `let c = class A { foo() { console.log(A) } }`
-            visitor.enter_scope(ScopeFlags::empty());
-        }
-
-        visitor.enter_node(kind);
-
-        if let Some(id) = &class.id {
-            visitor.visit_binding_identifier(id);
-        }
-        if let Some(parameters) = &class.type_parameters {
-            visitor.visit_ts_type_parameter_declaration(parameters);
-        }
-
-        if let Some(super_class) = &class.super_class {
-            visitor.visit_class_heritage(super_class);
-        }
-        if let Some(implements) = &class.implements {
-            for implement in implements {
-                visitor.visit_ts_class_implements(implement);
-            }
-        }
-        if let Some(super_parameters) = &class.super_type_parameters {
-            visitor.visit_ts_type_parameter_instantiation(super_parameters);
-        }
-        visitor.visit_class_body(&class.body);
-        visitor.leave_node(kind);
-        if is_class_expr {
-            visitor.leave_scope();
-        }
-    }
-
-    pub fn walk_class_heritage<'a, V: Visit<'a>>(visitor: &mut V, expr: &Expression<'a>) {
-        let kind = AstKind::ClassHeritage(visitor.alloc(expr));
-        visitor.enter_node(kind);
-        visitor.visit_expression(expr);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_ts_class_implements<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        implements: &TSClassImplements<'a>,
-    ) {
-        let kind = AstKind::TSClassImplements(visitor.alloc(implements));
-        visitor.enter_node(kind);
-        visitor.visit_ts_type_name(&implements.expression);
-        if let Some(type_parameters) = &implements.type_parameters {
-            visitor.visit_ts_type_parameter_instantiation(type_parameters);
-        }
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_class_body<'a, V: Visit<'a>>(visitor: &mut V, body: &ClassBody<'a>) {
-        let kind = AstKind::ClassBody(visitor.alloc(body));
-        visitor.enter_node(kind);
-        for elem in &body.body {
-            visitor.visit_class_element(elem);
-        }
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_class_element<'a, V: Visit<'a>>(visitor: &mut V, elem: &ClassElement<'a>) {
-        match elem {
-            ClassElement::StaticBlock(block) => visitor.visit_static_block(block),
-            ClassElement::MethodDefinition(def) => visitor.visit_method_definition(def),
-            ClassElement::PropertyDefinition(def) => visitor.visit_property_definition(def),
-            ClassElement::AccessorProperty(_def) => { /* TODO */ }
-            ClassElement::TSIndexSignature(sig) => visitor.visit_ts_index_signature(sig),
-        }
-    }
-
-    pub fn walk_static_block<'a, V: Visit<'a>>(visitor: &mut V, block: &StaticBlock<'a>) {
-        let kind = AstKind::StaticBlock(visitor.alloc(block));
-        visitor.enter_scope(ScopeFlags::ClassStaticBlock);
-        visitor.enter_node(kind);
-        visitor.visit_statements(&block.body);
-        visitor.leave_node(kind);
-        visitor.leave_scope();
-    }
-
-    pub fn walk_method_definition<'a, V: Visit<'a>>(visitor: &mut V, def: &MethodDefinition<'a>) {
-        let kind = AstKind::MethodDefinition(visitor.alloc(def));
-        visitor.enter_node(kind);
-        for decorator in &def.decorators {
-            visitor.visit_decorator(decorator);
-        }
-        let flags = match def.kind {
-            MethodDefinitionKind::Get => ScopeFlags::GetAccessor,
-            MethodDefinitionKind::Set => ScopeFlags::SetAccessor,
-            MethodDefinitionKind::Constructor => ScopeFlags::Constructor,
-            MethodDefinitionKind::Method => ScopeFlags::empty(),
-        };
-        visitor.visit_property_key(&def.key);
-        visitor.visit_function(&def.value, Some(flags));
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_property_definition<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        def: &PropertyDefinition<'a>,
-    ) {
-        let kind = AstKind::PropertyDefinition(visitor.alloc(def));
-        visitor.enter_node(kind);
-        for decorator in &def.decorators {
-            visitor.visit_decorator(decorator);
-        }
-        visitor.visit_property_key(&def.key);
-        if let Some(value) = &def.value {
-            visitor.visit_expression(value);
-        }
-        if let Some(annotation) = &def.type_annotation {
-            visitor.visit_ts_type_annotation(annotation);
-        }
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_using_declaration<'a, V: Visit<'a>>(visitor: &mut V, decl: &UsingDeclaration<'a>) {
-        let kind = AstKind::UsingDeclaration(visitor.alloc(decl));
-        visitor.enter_node(kind);
-        for decl in &decl.declarations {
-            visitor.visit_variable_declarator(decl);
-        }
-        visitor.leave_node(kind);
-    }
-
-    /* ----------  Expression ---------- */
-
-    pub fn walk_expression<'a, V: Visit<'a>>(visitor: &mut V, expr: &Expression<'a>) {
-        match expr {
-            Expression::BigIntLiteral(lit) => visitor.visit_bigint_literal(lit),
-            Expression::BooleanLiteral(lit) => visitor.visit_boolean_literal(lit),
-            Expression::NullLiteral(lit) => visitor.visit_null_literal(lit),
-            Expression::NumericLiteral(lit) => visitor.visit_number_literal(lit),
-            Expression::RegExpLiteral(lit) => visitor.visit_reg_expr_literal(lit),
-            Expression::StringLiteral(lit) => visitor.visit_string_literal(lit),
-            Expression::TemplateLiteral(lit) => visitor.visit_template_literal(lit),
-            Expression::Identifier(ident) => visitor.visit_identifier_reference(ident),
-            Expression::MetaProperty(meta) => visitor.visit_meta_property(meta),
-
-            Expression::ArrayExpression(expr) => visitor.visit_array_expression(expr),
-            Expression::ArrowFunctionExpression(expr) => {
-                visitor.visit_arrow_function_expression(expr);
-            }
-            Expression::AssignmentExpression(expr) => visitor.visit_assignment_expression(expr),
-            Expression::AwaitExpression(expr) => visitor.visit_await_expression(expr),
-            Expression::BinaryExpression(expr) => visitor.visit_binary_expression(expr),
-            Expression::CallExpression(expr) => visitor.visit_call_expression(expr),
-            Expression::ChainExpression(expr) => visitor.visit_chain_expression(expr),
-            Expression::ClassExpression(expr) => {
-                debug_assert_eq!(expr.r#type, ClassType::ClassExpression);
-                visitor.visit_class(expr);
-            }
-            Expression::ConditionalExpression(expr) => visitor.visit_conditional_expression(expr),
-            Expression::FunctionExpression(expr) => visitor.visit_function(expr, None),
-            Expression::ImportExpression(expr) => visitor.visit_import_expression(expr),
-            Expression::LogicalExpression(expr) => visitor.visit_logical_expression(expr),
-            match_member_expression!(Expression) => {
-                visitor.visit_member_expression(expr.to_member_expression());
-            }
-            Expression::NewExpression(expr) => visitor.visit_new_expression(expr),
-            Expression::ObjectExpression(expr) => visitor.visit_object_expression(expr),
-            Expression::ParenthesizedExpression(expr) => {
-                visitor.visit_parenthesized_expression(expr);
-            }
-            Expression::PrivateInExpression(expr) => visitor.visit_private_in_expression(expr),
-            Expression::SequenceExpression(expr) => visitor.visit_sequence_expression(expr),
-            Expression::TaggedTemplateExpression(expr) => {
-                visitor.visit_tagged_template_expression(expr);
-            }
-            Expression::ThisExpression(expr) => visitor.visit_this_expression(expr),
-            Expression::UnaryExpression(expr) => visitor.visit_unary_expression(expr),
-            Expression::UpdateExpression(expr) => visitor.visit_update_expression(expr),
-            Expression::YieldExpression(expr) => visitor.visit_yield_expression(expr),
-            Expression::Super(expr) => visitor.visit_super(expr),
-            Expression::JSXElement(elem) => visitor.visit_jsx_element(elem),
-            Expression::JSXFragment(elem) => visitor.visit_jsx_fragment(elem),
-
-            Expression::TSAsExpression(expr) => visitor.visit_ts_as_expression(expr),
-            Expression::TSSatisfiesExpression(expr) => visitor.visit_ts_satisfies_expression(expr),
-            Expression::TSNonNullExpression(expr) => visitor.visit_ts_non_null_expression(expr),
-            Expression::TSTypeAssertion(expr) => visitor.visit_ts_type_assertion(expr),
-            Expression::TSInstantiationExpression(expr) => {
-                visitor.visit_ts_instantiation_expression(expr);
-            }
-        }
-    }
-
-    pub fn walk_meta_property<'a, V: Visit<'a>>(visitor: &mut V, meta: &MetaProperty<'a>) {
-        let kind = AstKind::MetaProperty(visitor.alloc(meta));
-        visitor.enter_node(kind);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_array_expression<'a, V: Visit<'a>>(visitor: &mut V, expr: &ArrayExpression<'a>) {
-        let kind = AstKind::ArrayExpression(visitor.alloc(expr));
-        visitor.enter_node(kind);
-        for elem in &expr.elements {
-            visitor.visit_array_expression_element(elem);
-        }
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_array_expression_element<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        arg: &ArrayExpressionElement<'a>,
-    ) {
-        let kind = AstKind::ArrayExpressionElement(visitor.alloc(arg));
-        visitor.enter_node(kind);
-        match arg {
-            ArrayExpressionElement::SpreadElement(spread) => visitor.visit_spread_element(spread),
-            match_expression!(ArrayExpressionElement) => {
-                visitor.visit_expression_array_element(arg.to_expression());
-            }
-            ArrayExpressionElement::Elision(elision) => visitor.visit_elision(elision),
-        }
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_argument<'a, V: Visit<'a>>(visitor: &mut V, arg: &Argument<'a>) {
-        let kind = AstKind::Argument(visitor.alloc(arg));
-        visitor.enter_node(kind);
-        match arg {
-            Argument::SpreadElement(spread) => visitor.visit_spread_element(spread),
-            match_expression!(Argument) => visitor.visit_expression(arg.to_expression()),
-        }
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_spread_element<'a, V: Visit<'a>>(visitor: &mut V, elem: &SpreadElement<'a>) {
-        let kind = AstKind::SpreadElement(visitor.alloc(elem));
-        visitor.enter_node(kind);
-        visitor.visit_expression(&elem.argument);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_expression_array_element<'a, V: Visit<'a>>(visitor: &mut V, expr: &Expression<'a>) {
-        let kind = AstKind::ExpressionArrayElement(visitor.alloc(expr));
-        visitor.enter_node(kind);
-        visitor.visit_expression(expr);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_elision<'a, V: Visit<'a>>(visitor: &mut V, elision: &Elision) {
-        let kind = AstKind::Elision(visitor.alloc(elision));
-        visitor.enter_node(kind);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_assignment_expression<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        expr: &AssignmentExpression<'a>,
-    ) {
-        let kind = AstKind::AssignmentExpression(visitor.alloc(expr));
-        visitor.enter_node(kind);
-        visitor.visit_assignment_target(&expr.left);
-        visitor.visit_expression(&expr.right);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_arrow_function_expression<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        expr: &ArrowFunctionExpression<'a>,
-    ) {
-        let kind = AstKind::ArrowFunctionExpression(visitor.alloc(expr));
-        visitor.enter_scope(ScopeFlags::Function | ScopeFlags::Arrow);
-        visitor.enter_node(kind);
-        visitor.visit_formal_parameters(&expr.params);
-        visitor.visit_function_body(&expr.body);
-        if let Some(parameters) = &expr.type_parameters {
-            visitor.visit_ts_type_parameter_declaration(parameters);
-        }
-        visitor.leave_node(kind);
-        visitor.leave_scope();
-    }
-
-    pub fn walk_await_expression<'a, V: Visit<'a>>(visitor: &mut V, expr: &AwaitExpression<'a>) {
-        let kind = AstKind::AwaitExpression(visitor.alloc(expr));
-        visitor.enter_node(kind);
-        visitor.visit_expression(&expr.argument);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_binary_expression<'a, V: Visit<'a>>(visitor: &mut V, expr: &BinaryExpression<'a>) {
-        let kind = AstKind::BinaryExpression(visitor.alloc(expr));
-        visitor.enter_node(kind);
-        visitor.visit_expression(&expr.left);
-        visitor.visit_expression(&expr.right);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_call_expression<'a, V: Visit<'a>>(visitor: &mut V, expr: &CallExpression<'a>) {
-        let kind = AstKind::CallExpression(visitor.alloc(expr));
-        visitor.enter_node(kind);
-        for arg in &expr.arguments {
-            visitor.visit_argument(arg);
-        }
-        visitor.visit_expression(&expr.callee);
-        if let Some(parameters) = &expr.type_parameters {
-            visitor.visit_ts_type_parameter_instantiation(parameters);
-        }
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_chain_expression<'a, V: Visit<'a>>(visitor: &mut V, expr: &ChainExpression<'a>) {
-        let kind = AstKind::ChainExpression(visitor.alloc(expr));
-        visitor.enter_node(kind);
-        visitor.visit_chain_element(&expr.expression);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_chain_element<'a, V: Visit<'a>>(visitor: &mut V, elem: &ChainElement<'a>) {
-        match elem {
-            ChainElement::CallExpression(expr) => visitor.visit_call_expression(expr),
-            match_member_expression!(ChainElement) => {
-                visitor.visit_member_expression(elem.to_member_expression());
-            }
-        }
-    }
-
-    pub fn walk_conditional_expression<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        expr: &ConditionalExpression<'a>,
-    ) {
-        let kind = AstKind::ConditionalExpression(visitor.alloc(expr));
-        visitor.enter_node(kind);
-        visitor.visit_expression(&expr.test);
-        visitor.visit_expression(&expr.consequent);
-        visitor.visit_expression(&expr.alternate);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_import_expression<'a, V: Visit<'a>>(visitor: &mut V, expr: &ImportExpression<'a>) {
-        let kind = AstKind::ImportExpression(visitor.alloc(expr));
-        visitor.enter_node(kind);
-        visitor.visit_expression(&expr.source);
-        for arg in &expr.arguments {
-            visitor.visit_expression(arg);
-        }
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_logical_expression<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        expr: &LogicalExpression<'a>,
-    ) {
-        let kind = AstKind::LogicalExpression(visitor.alloc(expr));
-        visitor.enter_node(kind);
-        visitor.visit_expression(&expr.left);
-        visitor.visit_expression(&expr.right);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_member_expression<'a, V: Visit<'a>>(visitor: &mut V, expr: &MemberExpression<'a>) {
-        let kind = AstKind::MemberExpression(visitor.alloc(expr));
-        visitor.enter_node(kind);
-        match expr {
-            MemberExpression::ComputedMemberExpression(expr) => {
-                visitor.visit_computed_member_expression(expr);
-            }
-            MemberExpression::StaticMemberExpression(expr) => {
-                visitor.visit_static_member_expression(expr);
-            }
-            MemberExpression::PrivateFieldExpression(expr) => {
-                visitor.visit_private_field_expression(expr);
-            }
-        }
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_computed_member_expression<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        expr: &ComputedMemberExpression<'a>,
-    ) {
-        visitor.visit_expression(&expr.object);
-        visitor.visit_expression(&expr.expression);
-    }
-
-    pub fn walk_static_member_expression<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        expr: &StaticMemberExpression<'a>,
-    ) {
-        visitor.visit_expression(&expr.object);
-        visitor.visit_identifier_name(&expr.property);
-    }
-
-    pub fn walk_private_field_expression<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        expr: &PrivateFieldExpression<'a>,
-    ) {
-        visitor.visit_expression(&expr.object);
-        visitor.visit_private_identifier(&expr.field);
-    }
-
-    pub fn walk_new_expression<'a, V: Visit<'a>>(visitor: &mut V, expr: &NewExpression<'a>) {
-        let kind = AstKind::NewExpression(visitor.alloc(expr));
-        visitor.enter_node(kind);
-        visitor.visit_expression(&expr.callee);
-        if let Some(parameters) = &expr.type_parameters {
-            visitor.visit_ts_type_parameter_instantiation(parameters);
-        }
-        for arg in &expr.arguments {
-            visitor.visit_argument(arg);
-        }
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_object_expression<'a, V: Visit<'a>>(visitor: &mut V, expr: &ObjectExpression<'a>) {
-        let kind = AstKind::ObjectExpression(visitor.alloc(expr));
-        visitor.enter_node(kind);
-        for prop in &expr.properties {
-            visitor.visit_object_property_kind(prop);
-        }
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_object_property_kind<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        prop: &ObjectPropertyKind<'a>,
-    ) {
-        match prop {
-            ObjectPropertyKind::ObjectProperty(prop) => visitor.visit_object_property(prop),
-            ObjectPropertyKind::SpreadProperty(elem) => visitor.visit_spread_element(elem),
-        }
-    }
-
-    pub fn walk_object_property<'a, V: Visit<'a>>(visitor: &mut V, prop: &ObjectProperty<'a>) {
-        let kind = AstKind::ObjectProperty(visitor.alloc(prop));
-        visitor.enter_node(kind);
-        visitor.visit_property_key(&prop.key);
-        visitor.visit_expression(&prop.value);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_property_key<'a, V: Visit<'a>>(visitor: &mut V, key: &PropertyKey<'a>) {
-        let kind = AstKind::PropertyKey(visitor.alloc(key));
-        visitor.enter_node(kind);
-        match key {
-            PropertyKey::StaticIdentifier(ident) => visitor.visit_identifier_name(ident),
-            PropertyKey::PrivateIdentifier(ident) => visitor.visit_private_identifier(ident),
-            match_expression!(PropertyKey) => {
-                visitor.visit_expression(key.to_expression());
-            }
-        }
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_parenthesized_expression<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        expr: &ParenthesizedExpression<'a>,
-    ) {
-        let kind = AstKind::ParenthesizedExpression(visitor.alloc(expr));
-        visitor.enter_node(kind);
-        visitor.visit_expression(&expr.expression);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_private_in_expression<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        expr: &PrivateInExpression<'a>,
-    ) {
-        let kind = AstKind::PrivateInExpression(visitor.alloc(expr));
-        visitor.enter_node(kind);
-        visitor.visit_private_identifier(&expr.left);
-        visitor.visit_expression(&expr.right);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_sequence_expression<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        expr: &SequenceExpression<'a>,
-    ) {
-        let kind = AstKind::SequenceExpression(visitor.alloc(expr));
-        visitor.enter_node(kind);
-        for expr in &expr.expressions {
-            visitor.visit_expression(expr);
-        }
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_tagged_template_expression<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        expr: &TaggedTemplateExpression<'a>,
-    ) {
-        let kind = AstKind::TaggedTemplateExpression(visitor.alloc(expr));
-        visitor.enter_node(kind);
-        visitor.visit_expression(&expr.tag);
-        visitor.visit_template_literal(&expr.quasi);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_this_expression<'a, V: Visit<'a>>(visitor: &mut V, expr: &ThisExpression) {
-        let kind = AstKind::ThisExpression(visitor.alloc(expr));
-        visitor.enter_node(kind);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_unary_expression<'a, V: Visit<'a>>(visitor: &mut V, expr: &UnaryExpression<'a>) {
-        let kind = AstKind::UnaryExpression(visitor.alloc(expr));
-        visitor.enter_node(kind);
-        visitor.visit_expression(&expr.argument);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_update_expression<'a, V: Visit<'a>>(visitor: &mut V, expr: &UpdateExpression<'a>) {
-        let kind = AstKind::UpdateExpression(visitor.alloc(expr));
-        visitor.enter_node(kind);
-        visitor.visit_simple_assignment_target(&expr.argument);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_yield_expression<'a, V: Visit<'a>>(visitor: &mut V, expr: &YieldExpression<'a>) {
-        let kind = AstKind::YieldExpression(visitor.alloc(expr));
-        visitor.enter_node(kind);
-        if let Some(argument) = &expr.argument {
-            visitor.visit_expression(argument);
-        }
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_super<'a, V: Visit<'a>>(visitor: &mut V, expr: &Super) {
-        let kind = AstKind::Super(visitor.alloc(expr));
-        visitor.enter_node(kind);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_assignment_target<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        target: &AssignmentTarget<'a>,
-    ) {
-        let kind = AstKind::AssignmentTarget(visitor.alloc(target));
-        visitor.enter_node(kind);
-        match target {
-            match_simple_assignment_target!(AssignmentTarget) => {
-                visitor.visit_simple_assignment_target(target.to_simple_assignment_target());
-            }
-            match_assignment_target_pattern!(AssignmentTarget) => {
-                visitor.visit_assignment_target_pattern(target.to_assignment_target_pattern());
-            }
-        }
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_simple_assignment_target<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        target: &SimpleAssignmentTarget<'a>,
-    ) {
-        let kind = AstKind::SimpleAssignmentTarget(visitor.alloc(target));
-        visitor.enter_node(kind);
-        match target {
-            SimpleAssignmentTarget::AssignmentTargetIdentifier(ident) => {
-                visitor.visit_identifier_reference(ident);
-            }
-            match_member_expression!(SimpleAssignmentTarget) => {
-                visitor.visit_member_expression(target.to_member_expression());
-            }
-            SimpleAssignmentTarget::TSAsExpression(expr) => {
-                visitor.visit_expression(&expr.expression);
-            }
-            SimpleAssignmentTarget::TSSatisfiesExpression(expr) => {
-                visitor.visit_expression(&expr.expression);
-            }
-            SimpleAssignmentTarget::TSNonNullExpression(expr) => {
-                visitor.visit_expression(&expr.expression);
-            }
-            SimpleAssignmentTarget::TSTypeAssertion(expr) => {
-                visitor.visit_expression(&expr.expression);
-            }
-            SimpleAssignmentTarget::TSInstantiationExpression(expr) => {
-                visitor.visit_expression(&expr.expression);
-            }
-        }
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_assignment_target_pattern<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        pat: &AssignmentTargetPattern<'a>,
-    ) {
-        match pat {
-            AssignmentTargetPattern::ArrayAssignmentTarget(target) => {
-                visitor.visit_array_assignment_target(target);
-            }
-            AssignmentTargetPattern::ObjectAssignmentTarget(target) => {
-                visitor.visit_object_assignment_target(target);
-            }
-        }
-    }
-
-    pub fn walk_array_assignment_target<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        target: &ArrayAssignmentTarget<'a>,
-    ) {
-        for element in target.elements.iter().flatten() {
-            visitor.visit_assignment_target_maybe_default(element);
-        }
-        if let Some(target) = &target.rest {
-            visitor.visit_assignment_target_rest(target);
-        }
-    }
-
-    pub fn walk_assignment_target_maybe_default<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        target: &AssignmentTargetMaybeDefault<'a>,
-    ) {
-        match target {
-            match_assignment_target!(AssignmentTargetMaybeDefault) => {
-                visitor.visit_assignment_target(target.to_assignment_target());
-            }
-            AssignmentTargetMaybeDefault::AssignmentTargetWithDefault(target) => {
-                visitor.visit_assignment_target_with_default(target);
-            }
-        }
-    }
-
-    pub fn walk_assignment_target_with_default<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        target: &AssignmentTargetWithDefault<'a>,
-    ) {
-        let kind = AstKind::AssignmentTargetWithDefault(visitor.alloc(target));
-        visitor.enter_node(kind);
-        visitor.visit_assignment_target(&target.binding);
-        visitor.visit_expression(&target.init);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_object_assignment_target<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        target: &ObjectAssignmentTarget<'a>,
-    ) {
-        for property in &target.properties {
-            visitor.visit_assignment_target_property(property);
-        }
-        if let Some(target) = &target.rest {
-            visitor.visit_assignment_target_rest(target);
-        }
-    }
-
-    pub fn walk_assignment_target_property<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        property: &AssignmentTargetProperty<'a>,
-    ) {
-        match property {
-            AssignmentTargetProperty::AssignmentTargetPropertyIdentifier(ident) => {
-                visitor.visit_assignment_target_property_identifier(ident);
-            }
-            AssignmentTargetProperty::AssignmentTargetPropertyProperty(prop) => {
-                visitor.visit_assignment_target_property_property(prop);
-            }
-        }
-    }
-
-    pub fn walk_assignment_target_property_identifier<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        ident: &AssignmentTargetPropertyIdentifier<'a>,
-    ) {
-        visitor.visit_identifier_reference(&ident.binding);
-        if let Some(expr) = &ident.init {
-            visitor.visit_expression(expr);
-        }
-    }
-
-    pub fn walk_assignment_target_property_property<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        property: &AssignmentTargetPropertyProperty<'a>,
-    ) {
-        visitor.visit_property_key(&property.name);
-        visitor.visit_assignment_target_maybe_default(&property.binding);
-    }
-
-    pub fn walk_assignment_target_rest<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        rest: &AssignmentTargetRest<'a>,
-    ) {
-        visitor.visit_assignment_target(&rest.target);
-    }
-
-    /* ----------  Expression ---------- */
-
-    pub fn walk_jsx_element<'a, V: Visit<'a>>(visitor: &mut V, elem: &JSXElement<'a>) {
-        let kind = AstKind::JSXElement(visitor.alloc(elem));
-        visitor.enter_node(kind);
-        visitor.visit_jsx_opening_element(&elem.opening_element);
-        for child in &elem.children {
-            visitor.visit_jsx_child(child);
-        }
-        if let Some(closing_elem) = &elem.closing_element {
-            visitor.visit_jsx_closing_element(closing_elem);
-        }
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_jsx_opening_element<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        elem: &JSXOpeningElement<'a>,
-    ) {
-        let kind = AstKind::JSXOpeningElement(visitor.alloc(elem));
-        visitor.enter_node(kind);
-        visitor.visit_jsx_element_name(&elem.name);
-        for attribute in &elem.attributes {
-            visitor.visit_jsx_attribute_item(attribute);
-        }
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_jsx_closing_element<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        elem: &JSXClosingElement<'a>,
-    ) {
-        let kind = AstKind::JSXClosingElement(visitor.alloc(elem));
-        visitor.enter_node(kind);
-        visitor.visit_jsx_element_name(&elem.name);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_jsx_element_name<'a, V: Visit<'a>>(visitor: &mut V, name: &JSXElementName<'a>) {
-        let kind = AstKind::JSXElementName(visitor.alloc(name));
-        visitor.enter_node(kind);
-        match name {
-            JSXElementName::Identifier(ident) => visitor.visit_jsx_identifier(ident),
-            JSXElementName::NamespacedName(expr) => visitor.visit_jsx_namespaced_name(expr),
-            JSXElementName::MemberExpression(expr) => visitor.visit_jsx_member_expression(expr),
-        }
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_jsx_identifier<'a, V: Visit<'a>>(visitor: &mut V, ident: &JSXIdentifier<'a>) {
-        let kind = AstKind::JSXIdentifier(visitor.alloc(ident));
-        visitor.enter_node(kind);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_jsx_member_expression<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        expr: &JSXMemberExpression<'a>,
-    ) {
-        let kind = AstKind::JSXMemberExpression(visitor.alloc(expr));
-        visitor.enter_node(kind);
-        visitor.visit_jsx_member_expression_object(&expr.object);
-        visitor.visit_jsx_identifier(&expr.property);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_jsx_member_expression_object<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        expr: &JSXMemberExpressionObject<'a>,
-    ) {
-        let kind = AstKind::JSXMemberExpressionObject(visitor.alloc(expr));
-        visitor.enter_node(kind);
-        match expr {
-            JSXMemberExpressionObject::Identifier(ident) => visitor.visit_jsx_identifier(ident),
-            JSXMemberExpressionObject::MemberExpression(expr) => {
-                visitor.visit_jsx_member_expression(expr);
-            }
-        }
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_jsx_namespaced_name<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        name: &JSXNamespacedName<'a>,
-    ) {
-        let kind = AstKind::JSXNamespacedName(visitor.alloc(name));
-        visitor.enter_node(kind);
-        visitor.visit_jsx_identifier(&name.namespace);
-        visitor.visit_jsx_identifier(&name.property);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_jsx_attribute_item<'a, V: Visit<'a>>(visitor: &mut V, item: &JSXAttributeItem<'a>) {
-        let kind = AstKind::JSXAttributeItem(visitor.alloc(item));
-        visitor.enter_node(kind);
-        match &item {
-            JSXAttributeItem::Attribute(attribute) => visitor.visit_jsx_attribute(attribute),
-            JSXAttributeItem::SpreadAttribute(attribute) => {
-                visitor.visit_jsx_spread_attribute(attribute);
-            }
-        }
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_jsx_attribute<'a, V: Visit<'a>>(visitor: &mut V, attribute: &JSXAttribute<'a>) {
-        if let Some(value) = &attribute.value {
-            visitor.visit_jsx_attribute_value(value);
-        }
-    }
-
-    pub fn walk_jsx_spread_attribute<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        attribute: &JSXSpreadAttribute<'a>,
-    ) {
-        visitor.visit_expression(&attribute.argument);
-    }
-
-    pub fn walk_jsx_attribute_value<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        value: &JSXAttributeValue<'a>,
-    ) {
-        match value {
-            JSXAttributeValue::ExpressionContainer(expr) => {
-                visitor.visit_jsx_expression_container(expr);
-            }
-            JSXAttributeValue::Element(elem) => visitor.visit_jsx_element(elem),
-            JSXAttributeValue::Fragment(elem) => visitor.visit_jsx_fragment(elem),
-            JSXAttributeValue::StringLiteral(lit) => visitor.visit_string_literal(lit),
-        }
-    }
-
-    pub fn walk_jsx_expression_container<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        expr: &JSXExpressionContainer<'a>,
-    ) {
-        let kind = AstKind::JSXExpressionContainer(visitor.alloc(expr));
-        visitor.enter_node(kind);
-        visitor.visit_jsx_expression(&expr.expression);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_jsx_expression<'a, V: Visit<'a>>(visitor: &mut V, expr: &JSXExpression<'a>) {
-        match expr {
-            match_expression!(JSXExpression) => visitor.visit_expression(expr.to_expression()),
-            JSXExpression::EmptyExpression(_) => {}
-        }
-    }
-
-    pub fn walk_jsx_fragment<'a, V: Visit<'a>>(visitor: &mut V, elem: &JSXFragment<'a>) {
-        let kind = AstKind::JSXFragment(visitor.alloc(elem));
-        visitor.enter_node(kind);
-        for child in &elem.children {
-            visitor.visit_jsx_child(child);
-        }
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_jsx_child<'a, V: Visit<'a>>(visitor: &mut V, child: &JSXChild<'a>) {
-        match child {
-            JSXChild::Element(elem) => visitor.visit_jsx_element(elem),
-            JSXChild::Fragment(elem) => visitor.visit_jsx_fragment(elem),
-            JSXChild::ExpressionContainer(expr) => visitor.visit_jsx_expression_container(expr),
-            JSXChild::Spread(expr) => visitor.visit_jsx_spread_child(expr),
-            JSXChild::Text(expr) => visitor.visit_jsx_text(expr),
-        }
-    }
-
-    pub fn walk_jsx_spread_child<'a, V: Visit<'a>>(visitor: &mut V, child: &JSXSpreadChild<'a>) {
-        visitor.visit_expression(&child.expression);
-    }
-
-    pub fn walk_jsx_text<'a, V: Visit<'a>>(visitor: &mut V, child: &JSXText<'a>) {
-        let kind = AstKind::JSXText(visitor.alloc(child));
-        visitor.enter_node(kind);
-        visitor.leave_node(kind);
-    }
-
-    /* ----------  Pattern ---------- */
-
-    pub fn walk_binding_pattern<'a, V: Visit<'a>>(visitor: &mut V, pat: &BindingPattern<'a>) {
-        match &pat.kind {
-            BindingPatternKind::BindingIdentifier(ident) => {
-                visitor.visit_binding_identifier(ident);
-            }
-            BindingPatternKind::ObjectPattern(pat) => visitor.visit_object_pattern(pat),
-            BindingPatternKind::ArrayPattern(pat) => visitor.visit_array_pattern(pat),
-            BindingPatternKind::AssignmentPattern(pat) => visitor.visit_assignment_pattern(pat),
-        }
-        if let Some(type_annotation) = &pat.type_annotation {
-            visitor.visit_ts_type_annotation(type_annotation);
-        }
-    }
-
-    pub fn walk_binding_identifier<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        ident: &BindingIdentifier<'a>,
-    ) {
-        let kind = AstKind::BindingIdentifier(visitor.alloc(ident));
-        visitor.enter_node(kind);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_object_pattern<'a, V: Visit<'a>>(visitor: &mut V, pat: &ObjectPattern<'a>) {
-        let kind = AstKind::ObjectPattern(visitor.alloc(pat));
-        visitor.enter_node(kind);
-        for prop in &pat.properties {
-            visitor.visit_binding_property(prop);
-        }
-        if let Some(rest) = &pat.rest {
-            visitor.visit_rest_element(rest);
-        }
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_binding_property<'a, V: Visit<'a>>(visitor: &mut V, prop: &BindingProperty<'a>) {
-        visitor.visit_property_key(&prop.key);
-        visitor.visit_binding_pattern(&prop.value);
-    }
-
-    pub fn walk_array_pattern<'a, V: Visit<'a>>(visitor: &mut V, pat: &ArrayPattern<'a>) {
-        let kind = AstKind::ArrayPattern(visitor.alloc(pat));
-        visitor.enter_node(kind);
-        for pat in pat.elements.iter().flatten() {
-            visitor.visit_binding_pattern(pat);
-        }
-        if let Some(rest) = &pat.rest {
-            visitor.visit_rest_element(rest);
-        }
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_rest_element<'a, V: Visit<'a>>(visitor: &mut V, pat: &BindingRestElement<'a>) {
-        let kind = AstKind::BindingRestElement(visitor.alloc(pat));
-        visitor.enter_node(kind);
-        visitor.visit_binding_pattern(&pat.argument);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_assignment_pattern<'a, V: Visit<'a>>(visitor: &mut V, pat: &AssignmentPattern<'a>) {
-        let kind = AstKind::AssignmentPattern(visitor.alloc(pat));
-        visitor.enter_node(kind);
-        visitor.visit_binding_pattern(&pat.left);
-        visitor.visit_expression(&pat.right);
-        visitor.leave_node(kind);
-    }
-
-    /* ----------  Identifier ---------- */
-
-    pub fn walk_identifier_reference<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        ident: &IdentifierReference<'a>,
-    ) {
-        let kind = AstKind::IdentifierReference(visitor.alloc(ident));
-        visitor.enter_node(kind);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_private_identifier<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        ident: &PrivateIdentifier<'a>,
-    ) {
-        let kind = AstKind::PrivateIdentifier(visitor.alloc(ident));
-        visitor.enter_node(kind);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_label_identifier<'a, V: Visit<'a>>(visitor: &mut V, ident: &LabelIdentifier<'a>) {
-        let kind = AstKind::LabelIdentifier(visitor.alloc(ident));
-        visitor.enter_node(kind);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_identifier_name<'a, V: Visit<'a>>(visitor: &mut V, ident: &IdentifierName<'a>) {
-        let kind = AstKind::IdentifierName(visitor.alloc(ident));
-        visitor.enter_node(kind);
-        visitor.leave_node(kind);
-    }
-
-    /* ----------  Literal ---------- */
-
-    pub fn walk_number_literal<'a, V: Visit<'a>>(visitor: &mut V, lit: &NumericLiteral<'a>) {
-        let kind = AstKind::NumericLiteral(visitor.alloc(lit));
-        visitor.enter_node(kind);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_boolean_literal<'a, V: Visit<'a>>(visitor: &mut V, lit: &BooleanLiteral) {
-        let kind = AstKind::BooleanLiteral(visitor.alloc(lit));
-        visitor.enter_node(kind);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_null_literal<'a, V: Visit<'a>>(visitor: &mut V, lit: &NullLiteral) {
-        let kind = AstKind::NullLiteral(visitor.alloc(lit));
-        visitor.enter_node(kind);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_bigint_literal<'a, V: Visit<'a>>(visitor: &mut V, lit: &BigIntLiteral<'a>) {
-        let kind = AstKind::BigIntLiteral(visitor.alloc(lit));
-        visitor.enter_node(kind);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_string_literal<'a, V: Visit<'a>>(visitor: &mut V, lit: &StringLiteral<'a>) {
-        let kind = AstKind::StringLiteral(visitor.alloc(lit));
-        visitor.enter_node(kind);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_template_literal<'a, V: Visit<'a>>(visitor: &mut V, lit: &TemplateLiteral<'a>) {
-        let kind = AstKind::TemplateLiteral(visitor.alloc(lit));
-        visitor.enter_node(kind);
-        for elem in &lit.quasis {
-            visitor.visit_template_element(elem);
-        }
-        for expr in &lit.expressions {
-            visitor.visit_expression(expr);
-        }
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_reg_expr_literal<'a, V: Visit<'a>>(visitor: &mut V, lit: &RegExpLiteral<'a>) {
-        let kind = AstKind::RegExpLiteral(visitor.alloc(lit));
-        visitor.enter_node(kind);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_template_element<'a, V: Visit<'a>>(_visitor: &mut V, _elem: &TemplateElement) {}
-
-    /* ----------  Module ---------- */
-
-    pub fn walk_module_declaration<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        decl: &ModuleDeclaration<'a>,
-    ) {
-        let kind = AstKind::ModuleDeclaration(visitor.alloc(decl));
-        visitor.enter_node(kind);
-        match decl {
-            ModuleDeclaration::ImportDeclaration(decl) => {
-                visitor.visit_import_declaration(decl);
-            }
-            ModuleDeclaration::ExportAllDeclaration(decl) => {
-                visitor.visit_export_all_declaration(decl);
-            }
-            ModuleDeclaration::ExportDefaultDeclaration(decl) => {
-                visitor.visit_export_default_declaration(decl);
-            }
-            ModuleDeclaration::ExportNamedDeclaration(decl) => {
-                visitor.visit_export_named_declaration(decl);
-            }
-            ModuleDeclaration::TSExportAssignment(decl) => {
-                visitor.visit_expression(&decl.expression);
-            }
-            ModuleDeclaration::TSNamespaceExportDeclaration(_) => {}
-        }
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_import_declaration<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        decl: &ImportDeclaration<'a>,
-    ) {
-        let kind = AstKind::ImportDeclaration(visitor.alloc(decl));
-        visitor.enter_node(kind);
-        if let Some(specifiers) = &decl.specifiers {
-            for specifier in specifiers {
-                visitor.visit_import_declaration_specifier(specifier);
-            }
-        }
-        visitor.visit_string_literal(&decl.source);
-        if let Some(with_clause) = &decl.with_clause {
-            visitor.visit_with_clause(with_clause);
-        }
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_with_clause<'a, V: Visit<'a>>(visitor: &mut V, with_clause: &WithClause<'a>) {
-        for attribute in &with_clause.with_entries {
-            visitor.visit_import_attribute(attribute);
-        }
-    }
-
-    pub fn walk_import_attribute<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        attribute: &ImportAttribute<'a>,
-    ) {
-        visitor.visit_import_attribute_key(&attribute.key);
-        visitor.visit_string_literal(&attribute.value);
-    }
-
-    pub fn walk_import_attribute_key<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        key: &ImportAttributeKey<'a>,
-    ) {
-        match key {
-            ImportAttributeKey::Identifier(ident) => visitor.visit_identifier_name(ident),
-            ImportAttributeKey::StringLiteral(ident) => visitor.visit_string_literal(ident),
-        }
-    }
-
-    pub fn walk_import_declaration_specifier<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        specifier: &ImportDeclarationSpecifier<'a>,
-    ) {
-        match &specifier {
-            ImportDeclarationSpecifier::ImportSpecifier(specifier) => {
-                visitor.visit_import_specifier(specifier);
-            }
-            ImportDeclarationSpecifier::ImportDefaultSpecifier(specifier) => {
-                visitor.visit_import_default_specifier(specifier);
-            }
-            ImportDeclarationSpecifier::ImportNamespaceSpecifier(specifier) => {
-                visitor.visit_import_name_specifier(specifier);
-            }
-        }
-    }
-
-    pub fn walk_import_specifier<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        specifier: &ImportSpecifier<'a>,
-    ) {
-        let kind = AstKind::ImportSpecifier(visitor.alloc(specifier));
-        visitor.enter_node(kind);
-        visitor.visit_module_export_name(&specifier.imported);
-        visitor.visit_binding_identifier(&specifier.local);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_import_default_specifier<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        specifier: &ImportDefaultSpecifier<'a>,
-    ) {
-        let kind = AstKind::ImportDefaultSpecifier(visitor.alloc(specifier));
-        visitor.enter_node(kind);
-        visitor.visit_binding_identifier(&specifier.local);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_import_name_specifier<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        specifier: &ImportNamespaceSpecifier<'a>,
-    ) {
-        let kind = AstKind::ImportNamespaceSpecifier(visitor.alloc(specifier));
-        visitor.enter_node(kind);
-        visitor.visit_binding_identifier(&specifier.local);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_export_all_declaration<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        decl: &ExportAllDeclaration<'a>,
-    ) {
-        let kind = AstKind::ExportAllDeclaration(visitor.alloc(decl));
-        visitor.enter_node(kind);
-        visitor.visit_string_literal(&decl.source);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_export_default_declaration<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        decl: &ExportDefaultDeclaration<'a>,
-    ) {
-        let kind = AstKind::ExportDefaultDeclaration(visitor.alloc(decl));
-        visitor.enter_node(kind);
-        match &decl.declaration {
-            declaration @ match_expression!(ExportDefaultDeclarationKind) => {
-                visitor.visit_expression(declaration.to_expression());
-            }
-            ExportDefaultDeclarationKind::FunctionDeclaration(func) => {
-                visitor.visit_function(func, None);
-            }
-            ExportDefaultDeclarationKind::ClassDeclaration(class) => visitor.visit_class(class),
-            _ => {}
-        }
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_export_named_declaration<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        decl: &ExportNamedDeclaration<'a>,
-    ) {
-        let kind = AstKind::ExportNamedDeclaration(visitor.alloc(decl));
-        visitor.enter_node(kind);
-        if let Some(decl) = &decl.declaration {
-            visitor.visit_declaration(decl);
-        }
-        for export_specifier in &decl.specifiers {
-            visitor.visit_export_specifier(export_specifier);
-        }
-        if let Some(ref source) = decl.source {
-            visitor.visit_string_literal(source);
-        }
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_export_specifier<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        specifier: &ExportSpecifier<'a>,
-    ) {
-        let kind = AstKind::ExportSpecifier(visitor.alloc(specifier));
-        visitor.enter_node(kind);
-        visitor.visit_module_export_name(&specifier.local);
-        visitor.visit_module_export_name(&specifier.exported);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_module_export_name<'a, V: Visit<'a>>(visitor: &mut V, name: &ModuleExportName<'a>) {
-        match name {
-            ModuleExportName::IdentifierName(ident) => visitor.visit_identifier_name(ident),
-            ModuleExportName::IdentifierReference(ident) => {
-                visitor.visit_identifier_reference(ident);
-            }
-            ModuleExportName::StringLiteral(ident) => visitor.visit_string_literal(ident),
-        }
-    }
-
-    pub fn walk_enum_member<'a, V: Visit<'a>>(visitor: &mut V, member: &TSEnumMember<'a>) {
-        let kind = AstKind::TSEnumMember(visitor.alloc(member));
-        visitor.enter_node(kind);
-
-        if let Some(initializer) = &member.initializer {
-            visitor.visit_expression(initializer);
-        }
-
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_ts_enum_declaration<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        decl: &TSEnumDeclaration<'a>,
-    ) {
-        let kind = AstKind::TSEnumDeclaration(visitor.alloc(decl));
-        visitor.enter_node(kind);
-        visitor.visit_binding_identifier(&decl.id);
-        visitor.enter_scope(ScopeFlags::empty());
-        for member in &decl.members {
-            visitor.visit_ts_enum_member(member);
-        }
-        visitor.leave_scope();
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_declaration<'a, V: Visit<'a>>(visitor: &mut V, decl: &Declaration<'a>) {
-        match decl {
-            Declaration::VariableDeclaration(decl) => visitor.visit_variable_declaration(decl),
-            Declaration::FunctionDeclaration(func) => visitor.visit_function(func, None),
-            Declaration::ClassDeclaration(class) => {
-                debug_assert_eq!(class.r#type, ClassType::ClassDeclaration);
-                visitor.visit_class(class);
-            }
-            Declaration::UsingDeclaration(decl) => visitor.visit_using_declaration(decl),
-            Declaration::TSModuleDeclaration(module) => {
-                visitor.visit_ts_module_declaration(module);
-            }
-            Declaration::TSTypeAliasDeclaration(decl) => {
-                visitor.visit_ts_type_alias_declaration(decl);
-            }
-            Declaration::TSEnumDeclaration(decl) => visitor.visit_ts_enum_declaration(decl),
-            Declaration::TSImportEqualsDeclaration(decl) => {
-                visitor.visit_ts_import_equals_declaration(decl);
-            }
-            Declaration::TSInterfaceDeclaration(decl) => {
-                visitor.visit_ts_interface_declaration(decl);
-            }
-        }
-    }
-
-    /* ----------  TypeScript ---------- */
-
-    pub fn walk_ts_import_equals_declaration<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        decl: &TSImportEqualsDeclaration<'a>,
-    ) {
-        let kind = AstKind::TSImportEqualsDeclaration(visitor.alloc(decl));
-        visitor.enter_node(kind);
-        visitor.visit_binding_identifier(&decl.id);
-        visitor.visit_ts_module_reference(&decl.module_reference);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_ts_module_reference<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        reference: &TSModuleReference<'a>,
-    ) {
-        match reference {
-            match_ts_type_name!(TSModuleReference) => {
-                visitor.visit_ts_type_name(reference.to_ts_type_name());
-            }
-            TSModuleReference::ExternalModuleReference(reference) => {
-                visitor.visit_ts_external_module_reference(reference);
-            }
-        }
-    }
-
-    pub fn walk_ts_type_name<'a, V: Visit<'a>>(visitor: &mut V, name: &TSTypeName<'a>) {
-        let kind = AstKind::TSTypeName(visitor.alloc(name));
-        visitor.enter_node(kind);
-        match &name {
-            TSTypeName::IdentifierReference(ident) => visitor.visit_identifier_reference(ident),
-            TSTypeName::QualifiedName(name) => visitor.visit_ts_qualified_name(name),
-        }
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_ts_external_module_reference<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        reference: &TSExternalModuleReference<'a>,
-    ) {
-        let kind = AstKind::TSExternalModuleReference(visitor.alloc(reference));
-        visitor.enter_node(kind);
-        visitor.visit_string_literal(&reference.expression);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_ts_qualified_name<'a, V: Visit<'a>>(visitor: &mut V, name: &TSQualifiedName<'a>) {
-        let kind = AstKind::TSQualifiedName(visitor.alloc(name));
-        visitor.enter_node(kind);
-        visitor.visit_ts_type_name(&name.left);
-        visitor.visit_identifier_name(&name.right);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_ts_module_declaration<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        decl: &TSModuleDeclaration<'a>,
-    ) {
-        let kind = AstKind::TSModuleDeclaration(visitor.alloc(decl));
-        visitor.enter_node(kind);
-        match &decl.id {
-            TSModuleDeclarationName::Identifier(ident) => visitor.visit_identifier_name(ident),
-            TSModuleDeclarationName::StringLiteral(lit) => visitor.visit_string_literal(lit),
-        }
-        visitor.enter_scope({
-            let mut flags = ScopeFlags::TsModuleBlock;
-            if decl.is_strict() {
-                flags |= ScopeFlags::StrictMode;
-            }
-            flags
-        });
-        match &decl.body {
-            Some(TSModuleDeclarationBody::TSModuleDeclaration(decl)) => {
-                visitor.visit_ts_module_declaration(decl);
-            }
-            Some(TSModuleDeclarationBody::TSModuleBlock(block)) => {
-                visitor.visit_ts_module_block(block);
-            }
-            None => {}
-        }
-        visitor.leave_scope();
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_ts_module_block<'a, V: Visit<'a>>(visitor: &mut V, block: &TSModuleBlock<'a>) {
-        let kind = AstKind::TSModuleBlock(visitor.alloc(block));
-        visitor.enter_node(kind);
-        visitor.visit_statements(&block.body);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_ts_type_alias_declaration<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        decl: &TSTypeAliasDeclaration<'a>,
-    ) {
-        let kind = AstKind::TSTypeAliasDeclaration(visitor.alloc(decl));
-        visitor.enter_node(kind);
-        visitor.visit_binding_identifier(&decl.id);
-        if let Some(parameters) = &decl.type_parameters {
-            visitor.visit_ts_type_parameter_declaration(parameters);
-        }
-        visitor.visit_ts_type(&decl.type_annotation);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_ts_interface_declaration<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        decl: &TSInterfaceDeclaration<'a>,
-    ) {
-        let kind = AstKind::TSInterfaceDeclaration(visitor.alloc(decl));
-        visitor.enter_node(kind);
-        visitor.visit_binding_identifier(&decl.id);
-        if let Some(extends) = &decl.extends {
-            for extend in extends {
-                visitor.visit_ts_interface_heritage(extend);
-            }
-        }
-        if let Some(parameters) = &decl.type_parameters {
-            visitor.visit_ts_type_parameter_declaration(parameters);
-        }
-        for signature in &decl.body.body {
-            visitor.visit_ts_signature(signature);
-        }
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_ts_interface_heritage<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        heritage: &TSInterfaceHeritage<'a>,
-    ) {
-        let kind = AstKind::TSInterfaceHeritage(visitor.alloc(heritage));
-        visitor.enter_node(kind);
-        visitor.visit_expression(&heritage.expression);
-        if let Some(type_parameters) = &heritage.type_parameters {
-            visitor.visit_ts_type_parameter_instantiation(type_parameters);
-        }
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_ts_as_expression<'a, V: Visit<'a>>(visitor: &mut V, expr: &TSAsExpression<'a>) {
-        let kind = AstKind::TSAsExpression(visitor.alloc(expr));
-        visitor.enter_node(kind);
-        visitor.visit_expression(&expr.expression);
-        visitor.visit_ts_type(&expr.type_annotation);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_ts_satisfies_expression<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        expr: &TSSatisfiesExpression<'a>,
-    ) {
-        let kind = AstKind::TSSatisfiesExpression(visitor.alloc(expr));
-        visitor.enter_node(kind);
-        visitor.visit_expression(&expr.expression);
-        visitor.visit_ts_type(&expr.type_annotation);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_ts_non_null_expression<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        expr: &TSNonNullExpression<'a>,
-    ) {
-        let kind = AstKind::TSNonNullExpression(visitor.alloc(expr));
-        visitor.enter_node(kind);
-        visitor.visit_expression(&expr.expression);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_ts_type_assertion<'a, V: Visit<'a>>(visitor: &mut V, expr: &TSTypeAssertion<'a>) {
-        let kind = AstKind::TSTypeAssertion(visitor.alloc(expr));
-        visitor.enter_node(kind);
-        visitor.visit_expression(&expr.expression);
-        visitor.visit_ts_type(&expr.type_annotation);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_ts_instantiation_expression<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        expr: &TSInstantiationExpression<'a>,
-    ) {
-        visitor.visit_expression(&expr.expression);
-        visitor.visit_ts_type_parameter_instantiation(&expr.type_parameters);
-    }
-
-    pub fn walk_ts_type_annotation<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        annotation: &TSTypeAnnotation<'a>,
-    ) {
-        let kind = AstKind::TSTypeAnnotation(visitor.alloc(annotation));
-        visitor.enter_node(kind);
-        visitor.visit_ts_type(&annotation.type_annotation);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_ts_type<'a, V: Visit<'a>>(visitor: &mut V, ty: &TSType<'a>) {
-        match ty {
-            // Keyword
-            TSType::TSAnyKeyword(ty) => visitor.visit_ts_any_keyword(ty),
-            TSType::TSBigIntKeyword(ty) => visitor.visit_ts_big_int_keyword(ty),
-            TSType::TSBooleanKeyword(ty) => visitor.visit_ts_boolean_keyword(ty),
-            TSType::TSIntrinsicKeyword(ty) => visitor.visit_ts_intrinsic_keyword(ty),
-            TSType::TSNeverKeyword(ty) => visitor.visit_ts_never_keyword(ty),
-            TSType::TSNullKeyword(ty) => visitor.visit_ts_null_keyword(ty),
-            TSType::TSNumberKeyword(ty) => visitor.visit_ts_number_keyword(ty),
-            TSType::TSObjectKeyword(ty) => visitor.visit_ts_object_keyword(ty),
-            TSType::TSStringKeyword(ty) => visitor.visit_ts_string_keyword(ty),
-            TSType::TSSymbolKeyword(ty) => visitor.visit_ts_symbol_keyword(ty),
-            TSType::TSUndefinedKeyword(ty) => visitor.visit_ts_undefined_keyword(ty),
-            TSType::TSUnknownKeyword(ty) => visitor.visit_ts_unknown_keyword(ty),
-            TSType::TSVoidKeyword(ty) => visitor.visit_ts_void_keyword(ty),
-            // Compound
-            TSType::TSArrayType(ty) => visitor.visit_ts_array_type(ty),
-            TSType::TSConditionalType(ty) => visitor.visit_ts_conditional_type(ty),
-            TSType::TSConstructorType(ty) => visitor.visit_ts_constructor_type(ty),
-            TSType::TSFunctionType(ty) => visitor.visit_ts_function_type(ty),
-            TSType::TSImportType(ty) => visitor.visit_ts_import_type(ty),
-            TSType::TSIndexedAccessType(ty) => visitor.visit_ts_indexed_access_type(ty),
-            TSType::TSInferType(ty) => visitor.visit_ts_infer_type(ty),
-            TSType::TSIntersectionType(ty) => visitor.visit_ts_intersection_type(ty),
-            TSType::TSLiteralType(ty) => visitor.visit_ts_literal_type(ty),
-            TSType::TSMappedType(ty) => visitor.visit_ts_mapped_type(ty),
-            TSType::TSNamedTupleMember(ty) => visitor.visit_ts_named_tuple_member(ty),
-            TSType::TSQualifiedName(ty) => visitor.visit_ts_qualified_name(ty),
-            TSType::TSTemplateLiteralType(ty) => visitor.visit_ts_template_literal_type(ty),
-            TSType::TSThisType(ty) => visitor.visit_ts_this_type(ty),
-            TSType::TSTupleType(ty) => visitor.visit_ts_tuple_type(ty),
-            TSType::TSTypeLiteral(ty) => visitor.visit_ts_type_literal(ty),
-            TSType::TSTypeOperatorType(ty) => visitor.visit_ts_type_operator_type(ty),
-            TSType::TSTypePredicate(ty) => visitor.visit_ts_type_predicate(ty),
-            TSType::TSTypeQuery(ty) => visitor.visit_ts_type_query(ty),
-            TSType::TSTypeReference(ty) => visitor.visit_ts_type_reference(ty),
-            TSType::TSUnionType(ty) => visitor.visit_ts_union_type(ty),
-            TSType::TSParenthesizedType(ty) => visitor.visit_ts_type(&ty.type_annotation),
-            // JSDoc
-            TSType::JSDocNullableType(_)
-            | TSType::JSDocNonNullableType(_)
-            | TSType::JSDocUnknownType(_) => { /* TODO */ }
-        }
-    }
-
-    pub fn walk_ts_type_literal<'a, V: Visit<'a>>(visitor: &mut V, ty: &TSTypeLiteral<'a>) {
-        let kind = AstKind::TSTypeLiteral(visitor.alloc(ty));
-        visitor.enter_node(kind);
-        for signature in &ty.members {
-            visitor.visit_ts_signature(signature);
-        }
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_ts_indexed_access_type<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        ty: &TSIndexedAccessType<'a>,
-    ) {
-        let kind = AstKind::TSIndexedAccessType(visitor.alloc(ty));
-        visitor.enter_node(kind);
-        visitor.visit_ts_type(&ty.object_type);
-        visitor.visit_ts_type(&ty.index_type);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_ts_type_predicate<'a, V: Visit<'a>>(visitor: &mut V, ty: &TSTypePredicate<'a>) {
-        if let Some(annotation) = &ty.type_annotation {
-            visitor.visit_ts_type_annotation(annotation);
-        }
-    }
-
-    pub fn walk_ts_type_operator_type<'a, V: Visit<'a>>(visitor: &mut V, ty: &TSTypeOperator<'a>) {
-        visitor.visit_ts_type(&ty.type_annotation);
-    }
-
-    pub fn walk_ts_tuple_type<'a, V: Visit<'a>>(visitor: &mut V, ty: &TSTupleType<'a>) {
-        for element in &ty.element_types {
-            visitor.visit_ts_tuple_element(element);
-        }
-    }
-
-    pub fn walk_ts_tuple_element<'a, V: Visit<'a>>(visitor: &mut V, ty: &TSTupleElement<'a>) {
-        match ty {
-            match_ts_type!(TSTupleElement) => visitor.visit_ts_type(ty.to_ts_type()),
-            TSTupleElement::TSOptionalType(ty) => visitor.visit_ts_type(&ty.type_annotation),
-            TSTupleElement::TSRestType(ty) => visitor.visit_ts_type(&ty.type_annotation),
-        };
-    }
-
-    pub fn walk_ts_mapped_type<'a, V: Visit<'a>>(visitor: &mut V, ty: &TSMappedType<'a>) {
-        visitor.visit_ts_type_parameter(&ty.type_parameter);
-        if let Some(name) = &ty.name_type {
-            visitor.visit_ts_type(name);
-        }
-        if let Some(type_annotation) = &ty.type_annotation {
-            visitor.visit_ts_type(type_annotation);
-        }
-    }
-
-    pub fn walk_ts_function_type<'a, V: Visit<'a>>(visitor: &mut V, ty: &TSFunctionType<'a>) {
-        if let Some(parameters) = &ty.type_parameters {
-            visitor.visit_ts_type_parameter_declaration(parameters);
-        }
-        if let Some(this_param) = &ty.this_param {
-            visitor.visit_ts_this_parameter(this_param);
-        }
-        visitor.visit_formal_parameters(&ty.params);
-        visitor.visit_ts_type_annotation(&ty.return_type);
-    }
-
-    pub fn walk_ts_this_parameter<'a, V: Visit<'a>>(visitor: &mut V, ty: &TSThisParameter<'a>) {
-        let kind = AstKind::TSThisParameter(visitor.alloc(ty));
-        visitor.enter_node(kind);
-        visitor.visit_identifier_name(&ty.this);
-        if let Some(type_annotation) = &ty.type_annotation {
-            visitor.visit_ts_type_annotation(type_annotation);
-        }
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_ts_type_parameter<'a, V: Visit<'a>>(visitor: &mut V, ty: &TSTypeParameter<'a>) {
-        let kind = AstKind::TSTypeParameter(visitor.alloc(ty));
-        visitor.enter_scope(ScopeFlags::empty());
-        visitor.enter_node(kind);
-        if let Some(constraint) = &ty.constraint {
-            visitor.visit_ts_type(constraint);
-        }
-
-        if let Some(default) = &ty.default {
-            visitor.visit_ts_type(default);
-        }
-        visitor.leave_node(kind);
-        visitor.leave_scope();
-    }
-
-    pub fn walk_ts_type_parameter_instantiation<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        ty: &TSTypeParameterInstantiation<'a>,
-    ) {
-        let kind = AstKind::TSTypeParameterInstantiation(visitor.alloc(ty));
-        visitor.enter_node(kind);
-        for ts_parameter in &ty.params {
-            visitor.visit_ts_type(ts_parameter);
-        }
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_ts_type_parameter_declaration<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        ty: &TSTypeParameterDeclaration<'a>,
-    ) {
-        let kind = AstKind::TSTypeParameterDeclaration(visitor.alloc(ty));
-        visitor.enter_node(kind);
-        for ts_parameter in &ty.params {
-            visitor.visit_ts_type_parameter(ts_parameter);
-        }
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_ts_constructor_type<'a, V: Visit<'a>>(visitor: &mut V, ty: &TSConstructorType<'a>) {
-        visitor.visit_formal_parameters(&ty.params);
-        if let Some(parameters) = &ty.type_parameters {
-            visitor.visit_ts_type_parameter_declaration(parameters);
-        }
-        visitor.visit_ts_type_annotation(&ty.return_type);
-    }
-
-    pub fn walk_ts_conditional_type<'a, V: Visit<'a>>(visitor: &mut V, ty: &TSConditionalType<'a>) {
-        visitor.visit_ts_type(&ty.check_type);
-        visitor.visit_ts_type(&ty.extends_type);
-        visitor.visit_ts_type(&ty.true_type);
-        visitor.visit_ts_type(&ty.false_type);
-    }
-
-    pub fn walk_ts_array_type<'a, V: Visit<'a>>(visitor: &mut V, ty: &TSArrayType<'a>) {
-        visitor.visit_ts_type(&ty.element_type);
-    }
-
-    pub fn walk_ts_null_keyword<'a, V: Visit<'a>>(visitor: &mut V, ty: &TSNullKeyword) {
-        let kind = AstKind::TSNullKeyword(visitor.alloc(ty));
-        visitor.enter_node(kind);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_ts_any_keyword<'a, V: Visit<'a>>(visitor: &mut V, ty: &TSAnyKeyword) {
-        let kind = AstKind::TSAnyKeyword(visitor.alloc(ty));
-        visitor.enter_node(kind);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_ts_void_keyword<'a, V: Visit<'a>>(visitor: &mut V, ty: &TSVoidKeyword) {
-        let kind = AstKind::TSVoidKeyword(visitor.alloc(ty));
-        visitor.enter_node(kind);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_ts_intersection_type<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        ty: &TSIntersectionType<'a>,
-    ) {
-        let kind = AstKind::TSIntersectionType(visitor.alloc(ty));
-        visitor.enter_node(kind);
-        for ty in &ty.types {
-            visitor.visit_ts_type(ty);
-        }
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_ts_type_reference<'a, V: Visit<'a>>(visitor: &mut V, ty: &TSTypeReference<'a>) {
-        let kind = AstKind::TSTypeReference(visitor.alloc(ty));
-        visitor.enter_node(kind);
-        visitor.visit_ts_type_name(&ty.type_name);
-        if let Some(parameters) = &ty.type_parameters {
-            visitor.visit_ts_type_parameter_instantiation(parameters);
-        }
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_ts_union_type<'a, V: Visit<'a>>(visitor: &mut V, ty: &TSUnionType<'a>) {
-        let kind = AstKind::TSUnionType(visitor.alloc(ty));
-        visitor.enter_node(kind);
-        for ty in &ty.types {
-            visitor.visit_ts_type(ty);
-        }
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_ts_literal_type<'a, V: Visit<'a>>(visitor: &mut V, ty: &TSLiteralType<'a>) {
-        let kind = AstKind::TSLiteralType(visitor.alloc(ty));
-        visitor.enter_node(kind);
-        match &ty.literal {
-            TSLiteral::BigIntLiteral(lit) => visitor.visit_bigint_literal(lit),
-            TSLiteral::BooleanLiteral(lit) => visitor.visit_boolean_literal(lit),
-            TSLiteral::NullLiteral(lit) => visitor.visit_null_literal(lit),
-            TSLiteral::NumericLiteral(lit) => visitor.visit_number_literal(lit),
-            TSLiteral::RegExpLiteral(lit) => visitor.visit_reg_expr_literal(lit),
-            TSLiteral::StringLiteral(lit) => visitor.visit_string_literal(lit),
-            TSLiteral::TemplateLiteral(lit) => visitor.visit_template_literal(lit),
-            TSLiteral::UnaryExpression(expr) => visitor.visit_unary_expression(expr),
-        }
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_ts_signature<'a, V: Visit<'a>>(visitor: &mut V, signature: &TSSignature<'a>) {
-        match &signature {
-            TSSignature::TSPropertySignature(sig) => visitor.visit_ts_property_signature(sig),
-            TSSignature::TSCallSignatureDeclaration(sig) => {
-                visitor.visit_ts_call_signature_declaration(sig);
-            }
-            TSSignature::TSIndexSignature(sig) => visitor.visit_ts_index_signature(sig),
-            TSSignature::TSMethodSignature(sig) => visitor.visit_ts_method_signature(sig),
-            TSSignature::TSConstructSignatureDeclaration(sig) => {
-                visitor.visit_ts_construct_signature_declaration(sig);
-            }
-        }
-    }
-
-    pub fn walk_ts_construct_signature_declaration<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        signature: &TSConstructSignatureDeclaration<'a>,
-    ) {
-        visitor.visit_formal_parameters(&signature.params);
-        if let Some(parameters) = &signature.type_parameters {
-            visitor.visit_ts_type_parameter_declaration(parameters);
-        }
-        if let Some(annotation) = &signature.return_type {
-            visitor.visit_ts_type_annotation(annotation);
-        }
-    }
-
-    pub fn walk_ts_method_signature<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        signature: &TSMethodSignature<'a>,
-    ) {
-        let kind = AstKind::TSMethodSignature(visitor.alloc(signature));
-        visitor.enter_node(kind);
-        visitor.visit_formal_parameters(&signature.params);
-        if let Some(parameters) = &signature.type_parameters {
-            visitor.visit_ts_type_parameter_declaration(parameters);
-        }
-        if let Some(annotation) = &signature.return_type {
-            visitor.visit_ts_type_annotation(annotation);
-        }
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_ts_index_signature_name<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        name: &TSIndexSignatureName<'a>,
-    ) {
-        visitor.visit_ts_type_annotation(&name.type_annotation);
-    }
-
-    pub fn walk_ts_index_signature<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        signature: &TSIndexSignature<'a>,
-    ) {
-        for name in &signature.parameters {
-            visitor.visit_ts_index_signature_name(name);
-        }
-
-        visitor.visit_ts_type_annotation(&signature.type_annotation);
-    }
-
-    pub fn walk_ts_property_signature<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        signature: &TSPropertySignature<'a>,
-    ) {
-        let kind = AstKind::TSPropertySignature(visitor.alloc(signature));
-        visitor.enter_node(kind);
-        visitor.visit_property_key(&signature.key);
-        if let Some(annotation) = &signature.type_annotation {
-            visitor.visit_ts_type_annotation(annotation);
-        }
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_ts_call_signature_declaration<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        signature: &TSCallSignatureDeclaration<'a>,
-    ) {
-        visitor.visit_formal_parameters(&signature.params);
-        if let Some(parameters) = &signature.type_parameters {
-            visitor.visit_ts_type_parameter_declaration(parameters);
-        }
-
-        if let Some(annotation) = &signature.return_type {
-            visitor.visit_ts_type_annotation(annotation);
-        }
-    }
-
-    pub fn walk_ts_type_query<'a, V: Visit<'a>>(visitor: &mut V, ty: &TSTypeQuery<'a>) {
-        let kind = AstKind::TSTypeQuery(visitor.alloc(ty));
-        visitor.enter_node(kind);
-        match &ty.expr_name {
-            name @ match_ts_type_name!(TSTypeQueryExprName) => {
-                visitor.visit_ts_type_name(name.to_ts_type_name());
-            }
-            TSTypeQueryExprName::TSImportType(import) => visitor.visit_ts_import_type(import),
-        }
-        if let Some(type_parameters) = &ty.type_parameters {
-            visitor.visit_ts_type_parameter_instantiation(type_parameters);
-        }
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_ts_import_type<'a, V: Visit<'a>>(visitor: &mut V, ty: &TSImportType<'a>) {
-        let kind = AstKind::TSImportType(visitor.alloc(ty));
-        visitor.enter_node(kind);
-        visitor.visit_ts_type(&ty.parameter);
-        if let Some(name) = &ty.qualifier {
-            visitor.visit_ts_type_name(name);
-        }
-        if let Some(attrs) = &ty.attributes {
-            visitor.visit_ts_import_attributes(attrs);
-        }
-        if let Some(type_parameter) = &ty.type_parameters {
-            visitor.visit_ts_type_parameter_instantiation(type_parameter);
-        }
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_ts_import_attributes<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        attributes: &TSImportAttributes<'a>,
-    ) {
-        for element in &attributes.elements {
-            visitor.visit_ts_import_attribute(element);
-        }
-    }
-
-    pub fn walk_ts_import_attribute<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        attribute: &TSImportAttribute<'a>,
-    ) {
-        visitor.visit_ts_import_attribute_name(&attribute.name);
-        visitor.visit_expression(&attribute.value);
-    }
-
-    pub fn walk_ts_import_attribute_name<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        name: &TSImportAttributeName<'a>,
-    ) {
-        match name {
-            TSImportAttributeName::Identifier(ident) => visitor.visit_identifier_name(ident),
-            TSImportAttributeName::StringLiteral(ident) => visitor.visit_string_literal(ident),
-        }
-    }
-
-    pub fn walk_ts_big_int_keyword<'a, V: Visit<'a>>(visitor: &mut V, ty: &TSBigIntKeyword) {
-        let kind = AstKind::TSBigIntKeyword(visitor.alloc(ty));
-        visitor.enter_node(kind);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_ts_boolean_keyword<'a, V: Visit<'a>>(visitor: &mut V, ty: &TSBooleanKeyword) {
-        let kind = AstKind::TSBooleanKeyword(visitor.alloc(ty));
-        visitor.enter_node(kind);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_ts_intrinsic_keyword<'a, V: Visit<'a>>(visitor: &mut V, ty: &TSIntrinsicKeyword) {
-        let kind = AstKind::TSIntrinsicKeyword(visitor.alloc(ty));
-        visitor.enter_node(kind);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_ts_never_keyword<'a, V: Visit<'a>>(visitor: &mut V, ty: &TSNeverKeyword) {
-        let kind = AstKind::TSNeverKeyword(visitor.alloc(ty));
-        visitor.enter_node(kind);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_ts_number_keyword<'a, V: Visit<'a>>(visitor: &mut V, ty: &TSNumberKeyword) {
-        let kind = AstKind::TSNumberKeyword(visitor.alloc(ty));
-        visitor.enter_node(kind);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_ts_object_keyword<'a, V: Visit<'a>>(visitor: &mut V, ty: &TSObjectKeyword) {
-        let kind = AstKind::TSObjectKeyword(visitor.alloc(ty));
-        visitor.enter_node(kind);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_ts_string_keyword<'a, V: Visit<'a>>(visitor: &mut V, ty: &TSStringKeyword) {
-        let kind = AstKind::TSStringKeyword(visitor.alloc(ty));
-        visitor.enter_node(kind);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_ts_symbol_keyword<'a, V: Visit<'a>>(visitor: &mut V, ty: &TSSymbolKeyword) {
-        let kind = AstKind::TSSymbolKeyword(visitor.alloc(ty));
-        visitor.enter_node(kind);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_ts_this_type<'a, V: Visit<'a>>(visitor: &mut V, ty: &TSThisType) {
-        let kind = AstKind::TSThisType(visitor.alloc(ty));
-        visitor.enter_node(kind);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_ts_undefined_keyword<'a, V: Visit<'a>>(visitor: &mut V, ty: &TSUndefinedKeyword) {
-        let kind = AstKind::TSUndefinedKeyword(visitor.alloc(ty));
-        visitor.enter_node(kind);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_ts_unknown_keyword<'a, V: Visit<'a>>(visitor: &mut V, ty: &TSUnknownKeyword) {
-        let kind = AstKind::TSUnknownKeyword(visitor.alloc(ty));
-        visitor.enter_node(kind);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_ts_infer_type<'a, V: Visit<'a>>(visitor: &mut V, ty: &TSInferType<'a>) {
-        let kind = AstKind::TSInferType(visitor.alloc(ty));
-        visitor.enter_node(kind);
-        visitor.visit_ts_type_parameter(&ty.type_parameter);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_ts_named_tuple_member<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        ty: &TSNamedTupleMember<'a>,
-    ) {
-        let kind = AstKind::TSNamedTupleMember(visitor.alloc(ty));
-        visitor.enter_node(kind);
-        visitor.visit_identifier_name(&ty.label);
-        visitor.visit_ts_tuple_element(&ty.element_type);
-        visitor.leave_node(kind);
-    }
-
-    pub fn walk_ts_template_literal_type<'a, V: Visit<'a>>(
-        visitor: &mut V,
-        ty: &TSTemplateLiteralType<'a>,
-    ) {
-        let kind = AstKind::TSTemplateLiteralType(visitor.alloc(ty));
-        visitor.enter_node(kind);
-        for quasi in &ty.quasis {
-            visitor.visit_template_element(quasi);
-        }
-        for ty in &ty.types {
-            visitor.visit_ts_type(ty);
-        }
-        visitor.leave_node(kind);
-    }
-}