test(linter/plugins): add types test for VisitorObject

Author: overlookmotel

apps/oxlint/package.json

@@ -39,6 +39,7 @@
     "@arethetypeswrong/core": "catalog:",
     "@babel/code-frame": "^7.28.6",
     "@napi-rs/cli": "catalog:",
+    "@type-challenges/utils": "^0.1.1",
     "@types/babel__code-frame": "^7.27.0",
     "@types/esquery": "^1.5.4",
     "@types/estree": "^1.0.8",

apps/oxlint/src-js/visitor.test-d.ts

@@ -0,0 +1,25 @@
+import type { VisitorObject } from "./generated/visitor";
+import type { Node, CallExpression } from "./generated/types";
+import type { ExpectExtends, ExpectTrue } from "@type-challenges/utils";
+
+const emptyVisitorObject = {};
+const callExpressionVisitorObject = {
+  CallExpression: (_node: CallExpression) => {},
+};
+const callExpressionExitVisitorObject = {
+  "CallExpression:exit": (_node: CallExpression) => {},
+};
+const genericVisitorObject = {
+  "FunctionExpression > Identifier": (_node: Node) => {},
+  ":matches(FunctionExpression, FunctionDeclaration)": (_node: Node) => {},
+};
+
+export type cases1 = [
+  // Empty visitor object is allowed
+  ExpectTrue<ExpectExtends<VisitorObject, typeof emptyVisitorObject>>,
+  // Specific node visitors has a stricter type for the parameter
+  ExpectTrue<ExpectExtends<VisitorObject, typeof callExpressionVisitorObject>>,
+  ExpectTrue<ExpectExtends<VisitorObject, typeof callExpressionExitVisitorObject>>,
+  // Node selectors has generic Node type for the parameter
+  ExpectTrue<ExpectExtends<VisitorObject, typeof genericVisitorObject>>,
+];