General fallback depending on direction, plus proper types for never, void and unknown.

RobinTail · RobinTail · commit 9e95ba8c9e8b · 2025-05-28T09:33:06.000+02:00
diff --git a/express-zod-api/src/zts.ts b/express-zod-api/src/zts.ts
@@ -212,6 +212,9 @@ const producers: HandlingRules<
   undefined: onPrimitive(ts.SyntaxKind.UndefinedKeyword),
   [ezDateInBrand]: onPrimitive(ts.SyntaxKind.StringKeyword),
   [ezDateOutBrand]: onPrimitive(ts.SyntaxKind.StringKeyword),
+  never: onPrimitive(ts.SyntaxKind.NeverKeyword),
+  void: onPrimitive(ts.SyntaxKind.UndefinedKeyword),
+  unknown: onPrimitive(ts.SyntaxKind.UnknownKeyword),
   null: onNull,
   array: onArray,
   tuple: onTuple,
@@ -244,6 +247,6 @@ export const zodToTs = (
 ) =>
   walkSchema(schema, {
     rules: { ...brandHandling, ...producers },
-    onMissing: () => ensureTypeNode(ts.SyntaxKind.AnyKeyword), // @todo UnknownKeyword
+    onMissing: ({}, { isResponse }) => getFallback(isResponse),
     ctx,
   });
diff --git a/express-zod-api/tests/__snapshots__/zts.spec.ts.snap b/express-zod-api/tests/__snapshots__/zts.spec.ts.snap
@@ -18,10 +18,10 @@ exports[`zod-to-ts > Example > should produce the expected results 1`] = `
     date: any;
     undefined: undefined;
     null: null;
-    void: any;
+    void: undefined;
     any: any;
-    unknown: any;
-    never: any;
+    unknown: unknown;
+    never: never;
     optionalString?: string | undefined;
     nullablePartialObject: {
         string?: string | undefined;
@@ -139,18 +139,33 @@ exports[`zod-to-ts > Issue #2352: intersection of objects having same prop %# >
 }"
 `;
 
-exports[`zod-to-ts > PrimitiveSchema > outputs correct typescript 1`] = `
+exports[`zod-to-ts > PrimitiveSchema (isResponse=false) > outputs correct typescript 1`] = `
 "{
     string: string;
     number: number;
     boolean: boolean;
     date: any;
     undefined: undefined;
     null: null;
-    void: any;
+    void: undefined;
     any: any;
-    unknown: any;
-    never: any;
+    unknown: unknown;
+    never: never;
+}"
+`;
+
+exports[`zod-to-ts > PrimitiveSchema (isResponse=true) > outputs correct typescript 1`] = `
+"{
+    string: string;
+    number: number;
+    boolean: boolean;
+    date: unknown;
+    undefined: undefined;
+    null: null;
+    void: undefined;
+    any: any;
+    unknown: unknown;
+    never: never;
 }"
 `;
 
@@ -273,6 +288,8 @@ exports[`zod-to-ts > z.optional() > Zod 4: should add question mark only to opti
 
 exports[`zod-to-ts > z.pipe() > transformations > should handle an error within the transformation 1`] = `"unknown"`;
 
+exports[`zod-to-ts > z.pipe() > transformations > should handle preprocess error in request 1`] = `"any"`;
+
 exports[`zod-to-ts > z.pipe() > transformations > should handle unsupported transformation in response 1`] = `"unknown"`;
 
 exports[`zod-to-ts > z.pipe() > transformations > should produce the schema type 'intact' 1`] = `"number"`;
diff --git a/express-zod-api/tests/zts.spec.ts b/express-zod-api/tests/zts.spec.ts
@@ -328,25 +328,28 @@ describe("zod-to-ts", () => {
     );
   });
 
-  describe("PrimitiveSchema", () => {
-    const primitiveSchema = z.object({
-      string: z.string(),
-      number: z.number(),
-      boolean: z.boolean(),
-      date: z.date(),
-      undefined: z.undefined(),
-      null: z.null(),
-      void: z.void(),
-      any: z.any(),
-      unknown: z.unknown(),
-      never: z.never(),
-    });
-    const node = zodToTs(primitiveSchema, { ctx });
+  describe.each([true, false])(
+    "PrimitiveSchema (isResponse=%s)",
+    (isResponse) => {
+      const primitiveSchema = z.object({
+        string: z.string(),
+        number: z.number(),
+        boolean: z.boolean(),
+        date: z.date(),
+        undefined: z.undefined(),
+        null: z.null(),
+        void: z.void(),
+        any: z.any(),
+        unknown: z.unknown(),
+        never: z.never(),
+      });
+      const node = zodToTs(primitiveSchema, { ctx: { ...ctx, isResponse } });
 
-    test("outputs correct typescript", () => {
-      expect(printNodeTest(node)).toMatchSnapshot();
-    });
-  });
+      test("outputs correct typescript", () => {
+        expect(printNodeTest(node)).toMatchSnapshot();
+      });
+    },
+  );
 
   describe("z.discriminatedUnion()", () => {
     const shapeSchema = z.discriminatedUnion("kind", [
@@ -392,6 +395,13 @@ describe("zod-to-ts", () => {
         ).toMatchSnapshot();
       });
 
+      test("should handle preprocess error in request", () => {
+        const schema = z.preprocess(() => {
+          throw new Error("intentional");
+        }, z.number());
+        expect(printNodeTest(zodToTs(schema, { ctx }))).toMatchSnapshot();
+      });
+
       test("should handle an error within the transformation", () => {
         const schema = z
           .number()
