fix: visitor overlapping types (#8)

package.json

@@ -1,6 +1,6 @@
 {
   "name": "swc-walk",
-  "version": "1.0.0-rc.0",
+  "version": "1.0.0-rc.1",
   "description": "Walk an AST from SWC and visit each node type.",
   "main": "dist/esm/walk.js",
   "type": "module",

src/baseVisitor.ts

@@ -4,7 +4,7 @@ import type { Node, Callback, RecursiveVisitors } from './types.js'
 
 const ignore = <S>(_n: Node, _st: S, _cb: Callback<S>) => {}
 
-export class BaseVisitor<T> implements Required<RecursiveVisitors<T>> {
+export class BaseVisitor implements Required<RecursiveVisitors<unknown>> {
   ArrayExpression<S>(n: swc.ArrayExpression, st: S, cb: Callback<S>) {
     for (const el of n.elements) {
       if (el) {
@@ -348,9 +348,8 @@ export class BaseVisitor<T> implements Required<RecursiveVisitors<T>> {
       cb(n.body, st)
     }
   }
-  Identifier(n: swc.Identifier, st: T, cb: Callback<T>) {
+  Identifier<S>(n: swc.Identifier | swc.BindingIdentifier, st: S, cb: Callback<S>) {
     if ('typeAnnotation' in n && n.typeAnnotation) {
-      // @ts-expect-error -- typeAnnotation is not typed in Identifier
       cb(n.typeAnnotation, st)
     }
   }
@@ -647,13 +646,21 @@ export class BaseVisitor<T> implements Required<RecursiveVisitors<T>> {
     }
   }
   TemplateElement = ignore
-  TemplateLiteral<S>(n: swc.TemplateLiteral, st: S, cb: Callback<S>) {
+  TemplateLiteral<S>(n: swc.TemplateLiteral | swc.TsTemplateLiteralType, st: S, cb: Callback<S>) {
     for (const quasis of n.quasis) {
       cb(quasis, st)
     }
 
-    for (const expressions of n.expressions) {
-      cb(expressions, st)
+    if ('expressions' in n) {
+      for (const expressions of n.expressions) {
+        cb(expressions, st)
+      }
+    }
+
+    if ('types' in n) {
+      for (const types of n.types) {
+        cb(types, st)
+      }
     }
   }
   ThisExpression = ignore

src/walk.ts

@@ -7,7 +7,7 @@ import type { SimpleVisitors } from './types.js'
 export function simple<T = unknown>(
   ast: Node,
   visitors: SimpleVisitors<T>,
-  baseVisitor = new BaseVisitor<T>(),
+  baseVisitor = new BaseVisitor(),
   state?: T,
 ) {
   // @ts-expect-error (acorn-walk ast nodes have start/end instead of span)

test/baseVisitors.test.ts

@@ -121,6 +121,7 @@ const tests: Array<Test> = [
   { type: 'TaggedTemplateExpression', code: 'foo<T>`bar ${baz}`' },
   { type: 'TemplateElement', code: 'foo`bar`' },
   { type: 'TemplateLiteral', code: 'foo`bar`' },
+  { type: 'TemplateLiteral', code: 'type foo = `${bar}`' },
   { type: 'ThisExpression', code: 'this' },
   { type: 'ThrowStatement', code: 'throw 1' },
   { type: 'TryStatement', code: 'try {} catch(e) {}' },

test/utils.ts

@@ -7,7 +7,7 @@ import { simple } from '../src/walk.js'
 import { BaseVisitor } from '../src/baseVisitor.js'
 
 export type Test = {
-  type: keyof BaseVisitor<unknown>
+  type: keyof BaseVisitor
   skip?: string
   code: string
   times?: number