import { expectTypeOf, test } from "vitest"; import * as z from "zod/v4"; test("assignability", () => { // $ZodString z.string() satisfies z.core.$ZodString; z.string() satisfies z.ZodString; // $ZodNumber z.number() satisfies z.core.$ZodNumber; z.number() satisfies z.ZodNumber; // $ZodBigInt z.bigint() satisfies z.core.$ZodBigInt; z.bigint() satisfies z.ZodBigInt; // $ZodBoolean z.boolean() satisfies z.core.$ZodBoolean; z.boolean() satisfies z.ZodBoolean; // $ZodDate z.date() satisfies z.core.$ZodDate; z.date() satisfies z.ZodDate; // $ZodSymbol z.symbol() satisfies z.core.$ZodSymbol; z.symbol() satisfies z.ZodSymbol; // $ZodUndefined z.undefined() satisfies z.core.$ZodUndefined; z.undefined() satisfies z.ZodUndefined; // $ZodNullable z.string().nullable() satisfies z.core.$ZodNullable; z.string().nullable() satisfies z.ZodNullable; // $ZodNull z.null() satisfies z.core.$ZodNull; z.null() satisfies z.ZodNull; // $ZodAny z.any() satisfies z.core.$ZodAny; z.any() satisfies z.ZodAny; // $ZodUnknown z.unknown() satisfies z.core.$ZodUnknown; z.unknown() satisfies z.ZodUnknown; // $ZodNever z.never() satisfies z.core.$ZodNever; z.never() satisfies z.ZodNever; // $ZodVoid z.void() satisfies z.core.$ZodVoid; z.void() satisfies z.ZodVoid; // $ZodArray z.array(z.string()) satisfies z.core.$ZodArray; z.array(z.string()) satisfies z.ZodArray; z.array(z.string()) satisfies z.ZodType>; // $ZodObject z.object({ key: z.string() }) satisfies z.core.$ZodObject; z.object({ key: z.string() }) satisfies z.ZodObject<{ key: z.ZodType }>; z.object({ key: z.string() }) satisfies z.ZodType<{ key: string }>; // $ZodUnion z.union([z.string(), z.number()]) satisfies z.core.$ZodUnion; z.union([z.string(), z.number()]) satisfies z.ZodUnion; z.union([z.string(), z.number()]) satisfies z.ZodType; // $ZodIntersection z.intersection(z.string(), z.number()) satisfies z.core.$ZodIntersection; z.intersection(z.string(), z.number()) satisfies z.ZodIntersection; // $ZodTuple z.tuple([z.string(), z.number()]) satisfies z.core.$ZodTuple; z.tuple([z.string(), z.number()]) satisfies z.ZodTuple; // $ZodRecord z.record(z.string(), z.number()) satisfies z.core.$ZodRecord; z.record(z.string(), z.number()) satisfies z.ZodRecord; // $ZodMap z.map(z.string(), z.number()) satisfies z.core.$ZodMap; z.map(z.string(), z.number()) satisfies z.ZodMap; // $ZodSet z.set(z.string()) satisfies z.core.$ZodSet; z.set(z.string()) satisfies z.ZodSet; // $ZodLiteral z.literal("example") satisfies z.core.$ZodLiteral; z.literal("example") satisfies z.ZodLiteral; // $ZodEnum z.enum(["a", "b", "c"]) satisfies z.core.$ZodEnum; z.enum(["a", "b", "c"]) satisfies z.ZodEnum; // $ZodPromise z.promise(z.string()) satisfies z.core.$ZodPromise; z.promise(z.string()) satisfies z.ZodPromise; // $ZodLazy const lazySchema = z.lazy(() => z.string()); lazySchema satisfies z.core.$ZodLazy; lazySchema satisfies z.ZodLazy; // $ZodOptional z.string().optional() satisfies z.core.$ZodOptional; z.string().optional() satisfies z.ZodOptional; // $ZodDefault z.string().default("default") satisfies z.core.$ZodDefault; z.string().default("default") satisfies z.ZodDefault; // $ZodTemplateLiteral z.templateLiteral([z.literal("a"), z.literal("b")]) satisfies z.core.$ZodTemplateLiteral; z.templateLiteral([z.literal("a"), z.literal("b")]) satisfies z.ZodTemplateLiteral; // $ZodCustom z.custom((val) => typeof val === "string") satisfies z.core.$ZodCustom; z.custom((val) => typeof val === "string") satisfies z.ZodCustom; // $ZodTransform z.transform((val) => val as string) satisfies z.core.$ZodTransform; z.transform((val) => val as string) satisfies z.ZodTransform; // $ZodNonOptional z.string().optional().nonoptional() satisfies z.core.$ZodNonOptional; z.string().optional().nonoptional() satisfies z.ZodNonOptional; // $ZodReadonly z.object({ key: z.string() }).readonly() satisfies z.core.$ZodReadonly; z.object({ key: z.string() }).readonly() satisfies z.ZodReadonly; // $ZodNaN z.nan() satisfies z.core.$ZodNaN; z.nan() satisfies z.ZodNaN; // $ZodPipe z.unknown().pipe(z.number()) satisfies z.core.$ZodPipe; z.unknown().pipe(z.number()) satisfies z.ZodPipe; // $ZodSuccess z.success(z.string()) satisfies z.core.$ZodSuccess; z.success(z.string()) satisfies z.ZodSuccess; // $ZodCatch z.string().catch("fallback") satisfies z.core.$ZodCatch; z.string().catch("fallback") satisfies z.ZodCatch; // $ZodFile z.file() satisfies z.core.$ZodFile; z.file() satisfies z.ZodFile; }); test("checks", () => { const _a: z.core.$ZodCheck = {} as any as z.core.$ZodChecks; const _b: z.core.$ZodCheck = {} as any as z.core.$ZodStringFormatChecks; const _c: z.core.$ZodType = {} as any as z.core.$ZodTypes; const _d: z.core.$ZodType = {} as any as z.core.$ZodStringFormatTypes; }); test("assignability to $ZodType", () => { z.string() satisfies z.ZodType; z.number() satisfies z.ZodType; z.boolean() satisfies z.ZodType; z.object({ key: z.string() }) satisfies z.ZodType; z.object({ key: z.string() }) satisfies z.ZodType<{ key: string }>; z.array(z.string()) satisfies z.ZodType; z.union([z.string(), z.number()]) satisfies z.ZodType; z.intersection(z.string(), z.number()) satisfies z.ZodType; z.tuple([z.string(), z.number()]) satisfies z.ZodType; z.record(z.string(), z.number()) satisfies z.ZodType; z.map(z.string(), z.number()) satisfies z.ZodType; z.set(z.string()) satisfies z.ZodType; z.literal("example") satisfies z.ZodType; expectTypeOf().toEqualTypeOf(); }); test("assignability with narrowing", () => { type _RefinedSchema | z.ZodUnion> = T extends z.ZodUnion ? RefinedUnionSchema // <-- Type instantiation is excessively deep and possibly infinite. : T extends z.ZodType