Fix catchall types

colinhacks · Mar 21, 2024 · b941914 · b941914
1 parent b4209c8
commit b941914
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 4 deletions.
diff --git a/deno/lib/types.ts b/deno/lib/types.ts
@@ -2193,11 +2193,11 @@ export type baseObjectInputType<Shape extends ZodRawShape> =
     [k in keyof Shape]: Shape[k]["_input"];
   }>;
 
-export type CatchallOutput<T extends ZodTypeAny> = ZodTypeAny extends T
+export type CatchallOutput<T extends ZodType> = ZodType extends T
   ? unknown
   : { [k: string]: T["_output"] };
 
-export type CatchallInput<T extends ZodTypeAny> = ZodTypeAny extends T
+export type CatchallInput<T extends ZodType> = ZodType extends T
   ? unknown
   : { [k: string]: T["_input"] };
 

diff --git a/playground.ts b/playground.ts
@@ -1,3 +1,6 @@
 import { z, ZodNativeEnum } from "./src";
 
 z;
+
+const A = z.object({}).catchall(z.string());
+type A = z.infer<typeof A>;
diff --git a/src/types.ts b/src/types.ts
@@ -2193,11 +2193,11 @@ export type baseObjectInputType<Shape extends ZodRawShape> =
     [k in keyof Shape]: Shape[k]["_input"];
   }>;
 
-export type CatchallOutput<T extends ZodTypeAny> = ZodTypeAny extends T
+export type CatchallOutput<T extends ZodType> = ZodType extends T
   ? unknown
   : { [k: string]: T["_output"] };
 
-export type CatchallInput<T extends ZodTypeAny> = ZodTypeAny extends T
+export type CatchallInput<T extends ZodType> = ZodType extends T
   ? unknown
   : { [k: string]: T["_input"] };