zod 4.2.0-canary.20251124T022609 → 4.2.0-canary.20251207T223211

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "zod",
-  "version": "4.2.0-canary.20251124T022609",
+  "version": "4.2.0-canary.20251207T223211",
   "type": "module",
   "license": "MIT",
   "author": "Colin McDonnell <zod@colinhacks.com>",

package/src/v3/tests/complex.test.ts

@@ -1,4 +1,4 @@
-import { test } from "vitest";
+import { expect, test } from "vitest";
 import * as z from "zod/v3";
 
 const crazySchema = z.object({
@@ -40,7 +40,7 @@ const crazySchema = z.object({
 // });
 
 test("parse", () => {
-  crazySchema.parse({
+  const input = {
     tuple: ["asdf", 1234, true, null, undefined, "1234"],
     merged: { k1: "asdf", k2: 12 },
     union: ["asdf", 12, "asdf", 12, "asdf", 12],
@@ -52,5 +52,19 @@ test("parse", () => {
     nonstrict: { points: 1234 },
     numProm: Promise.resolve(12),
     lenfun: (x: string) => x.length,
-  });
+  };
+
+  const result = crazySchema.parse(input);
+
+  // Verify the parsed result structure
+  expect(result.tuple).toEqual(input.tuple);
+  expect(result.merged).toEqual(input.merged);
+  expect(result.union).toEqual(input.union);
+  expect(result.array).toEqual(input.array);
+  expect(result.sumMinLength).toEqual(input.sumMinLength);
+  expect(result.intersection).toEqual(input.intersection);
+  expect(result.enum).toEqual(input.enum);
+  expect(result.nonstrict).toEqual(input.nonstrict);
+  expect(result.numProm).toBeInstanceOf(Promise);
+  expect(typeof result.lenfun).toBe("function");
 });

package/src/v3/tests/function.test.ts

@@ -10,7 +10,8 @@ const func1 = z.function(args1, returns1);
 
 test("function parsing", () => {
   const parsed = func1.parse((arg: any) => arg.length);
-  parsed("asdf");
+  const result = parsed("asdf");
+  expect(result).toBe(4);
 });
 
 test("parsed function fail 1", () => {
@@ -226,8 +227,11 @@ test("allow extra parameters", () => {
 test("params and returnType getters", () => {
   const func = z.function().args(z.string()).returns(z.string());
 
-  func.parameters().items[0].parse("asdf");
-  func.returnType().parse("asdf");
+  const paramResult = func.parameters().items[0].parse("asdf");
+  expect(paramResult).toBe("asdf");
+
+  const returnResult = func.returnType().parse("asdf");
+  expect(returnResult).toBe("asdf");
 });
 
 test("inference with transforms", () => {

package/src/v3/tests/nan.test.ts

@@ -6,8 +6,11 @@ import * as z from "zod/v3";
 const schema = z.nan();
 
 test("passing validations", () => {
-  schema.parse(Number.NaN);
-  schema.parse(Number("Not a number"));
+  const result1 = schema.parse(Number.NaN);
+  expect(Number.isNaN(result1)).toBe(true);
+
+  const result2 = schema.parse(Number("Not a number"));
+  expect(Number.isNaN(result2)).toBe(true);
 });
 
 test("failing validations", () => {

package/src/v4/classic/tests/fix-json-issue.test.ts

@@ -0,0 +1,26 @@
+import { expect, test } from "vitest";
+import { type infer as _infer, json, nullable, object, pipe, transform } from "../../mini/index.js";
+// biome-ignore lint/correctness/noUnusedImports: This import verifies the type is exported
+import type { _ZodMiniJSONSchema } from "../../mini/schemas.js";
+
+const DataType = object({
+  data: json(),
+});
+type DataType = _infer<typeof DataType>;
+
+// biome-ignore lint/suspicious/noExportsInTest: This export is required to reproduce TS4023
+export const Container = object({
+  contained: pipe(
+    nullable(DataType),
+    transform<DataType | null>(
+      (v) =>
+        v ?? {
+          data: "",
+        }
+    )
+  ),
+});
+
+test("issue reproduction should compile without type errors", () => {
+  expect(Container).toBeDefined();
+});

package/src/v4/core/util.ts

@@ -199,7 +199,7 @@ export function assertNotEqual<A, B>(val: AssertNotEqual<A, B>): AssertNotEqual<
 export function assertIs<T>(_arg: T): void {}
 
 export function assertNever(_x: never): never {
-  throw new Error();
+  throw new Error("Unexpected value in exhaustive check");
 }
 export function assert<T>(_: any): asserts _ is T {}
 

package/src/v4/core/versions.ts

@@ -1,5 +1,5 @@
 export const version = {
   major: 4,
   minor: 1,
-  patch: 12 as number,
+  patch: 13 as number,
 } as const;

package/src/v4/mini/schemas.ts

@@ -1649,7 +1649,7 @@ export const stringbool: (_params?: string | core.$ZodStringBoolParams) => ZodMi
 // json
 
 // json
-type _ZodMiniJSONSchema = ZodMiniUnion<
+export type _ZodMiniJSONSchema = ZodMiniUnion<
   [
     ZodMiniString,
     ZodMiniNumber,
@@ -1659,7 +1659,7 @@ type _ZodMiniJSONSchema = ZodMiniUnion<
     ZodMiniRecord<ZodMiniString<string>, ZodMiniJSONSchema>,
   ]
 >;
-type _ZodMiniJSONSchemaInternals = _ZodMiniJSONSchema["_zod"];
+export type _ZodMiniJSONSchemaInternals = _ZodMiniJSONSchema["_zod"];
 
 export interface ZodMiniJSONSchemaInternals extends _ZodMiniJSONSchemaInternals {
   output: util.JSONType;

package/v4/core/util.cjs

@@ -63,7 +63,7 @@ function assertNotEqual(val) {
 }
 function assertIs(_arg) { }
 function assertNever(_x) {
-    throw new Error();
+    throw new Error("Unexpected value in exhaustive check");
 }
 function assert(_) { }
 function getEnumValues(entries) {

package/v4/core/util.js

@@ -7,7 +7,7 @@ export function assertNotEqual(val) {
 }
 export function assertIs(_arg) { }
 export function assertNever(_x) {
-    throw new Error();
+    throw new Error("Unexpected value in exhaustive check");
 }
 export function assert(_) { }
 export function getEnumValues(entries) {

package/v4/core/versions.cjs

@@ -4,5 +4,5 @@ exports.version = void 0;
 exports.version = {
     major: 4,
     minor: 1,
-    patch: 12,
+    patch: 13,
 };

package/v4/core/versions.js

@@ -1,5 +1,5 @@
 export const version = {
     major: 4,
     minor: 1,
-    patch: 12,
+    patch: 13,
 };

package/v4/mini/schemas.d.cts

@@ -365,7 +365,7 @@ declare abstract class Class {
 declare function _instanceof<T extends typeof Class>(cls: T, params?: core.$ZodCustomParams): ZodMiniCustom<InstanceType<T>, InstanceType<T>>;
 export { _instanceof as instanceof };
 export declare const stringbool: (_params?: string | core.$ZodStringBoolParams) => ZodMiniCodec<ZodMiniString, ZodMiniBoolean>;
-type _ZodMiniJSONSchema = ZodMiniUnion<[
+export type _ZodMiniJSONSchema = ZodMiniUnion<[
     ZodMiniString,
     ZodMiniNumber,
     ZodMiniBoolean,
@@ -373,7 +373,7 @@ type _ZodMiniJSONSchema = ZodMiniUnion<[
     ZodMiniArray<ZodMiniJSONSchema>,
     ZodMiniRecord<ZodMiniString<string>, ZodMiniJSONSchema>
 ]>;
-type _ZodMiniJSONSchemaInternals = _ZodMiniJSONSchema["_zod"];
+export type _ZodMiniJSONSchemaInternals = _ZodMiniJSONSchema["_zod"];
 export interface ZodMiniJSONSchemaInternals extends _ZodMiniJSONSchemaInternals {
     output: util.JSONType;
     input: util.JSONType;

package/v4/mini/schemas.d.ts

@@ -365,7 +365,7 @@ declare abstract class Class {
 declare function _instanceof<T extends typeof Class>(cls: T, params?: core.$ZodCustomParams): ZodMiniCustom<InstanceType<T>, InstanceType<T>>;
 export { _instanceof as instanceof };
 export declare const stringbool: (_params?: string | core.$ZodStringBoolParams) => ZodMiniCodec<ZodMiniString, ZodMiniBoolean>;
-type _ZodMiniJSONSchema = ZodMiniUnion<[
+export type _ZodMiniJSONSchema = ZodMiniUnion<[
     ZodMiniString,
     ZodMiniNumber,
     ZodMiniBoolean,
@@ -373,7 +373,7 @@ type _ZodMiniJSONSchema = ZodMiniUnion<[
     ZodMiniArray<ZodMiniJSONSchema>,
     ZodMiniRecord<ZodMiniString<string>, ZodMiniJSONSchema>
 ]>;
-type _ZodMiniJSONSchemaInternals = _ZodMiniJSONSchema["_zod"];
+export type _ZodMiniJSONSchemaInternals = _ZodMiniJSONSchema["_zod"];
 export interface ZodMiniJSONSchemaInternals extends _ZodMiniJSONSchemaInternals {
     output: util.JSONType;
     input: util.JSONType;