// @ts-ignore TS6133 import { expect, test } from "vitest"; import * as z from "zod/v3"; import { util } from "../helpers/util.js"; enum testEnum { A = 0, B = 1, } const schemas = [ z.string().readonly(), z.number().readonly(), z.nan().readonly(), z.bigint().readonly(), z.boolean().readonly(), z.date().readonly(), z.undefined().readonly(), z.null().readonly(), z.any().readonly(), z.unknown().readonly(), z.void().readonly(), z.function().args(z.string(), z.number()).readonly(), z.array(z.string()).readonly(), z.tuple([z.string(), z.number()]).readonly(), z.map(z.string(), z.date()).readonly(), z.set(z.promise(z.string())).readonly(), z.record(z.string()).readonly(), z.record(z.string(), z.number()).readonly(), z.object({ a: z.string(), 1: z.number() }).readonly(), z.nativeEnum(testEnum).readonly(), z.promise(z.string()).readonly(), ] as const; test("flat inference", () => { util.assertEqual, string>(true); util.assertEqual, number>(true); util.assertEqual, number>(true); util.assertEqual, bigint>(true); util.assertEqual, boolean>(true); util.assertEqual, Date>(true); util.assertEqual, undefined>(true); util.assertEqual, null>(true); util.assertEqual, any>(true); util.assertEqual, Readonly>(true); util.assertEqual, void>(true); util.assertEqual, (args_0: string, args_1: number, ...args_2: unknown[]) => unknown>( true ); util.assertEqual, readonly string[]>(true); util.assertEqual, readonly [string, number]>(true); util.assertEqual, ReadonlyMap>(true); util.assertEqual, ReadonlySet>>(true); util.assertEqual, Readonly>>(true); util.assertEqual, Readonly>>(true); util.assertEqual, { readonly a: string; readonly 1: number }>(true); util.assertEqual, Readonly>(true); util.assertEqual, Promise>(true); }); // test("deep inference", () => { // util.assertEqual, string>(true); // util.assertEqual, number>(true); // util.assertEqual, number>(true); // util.assertEqual, bigint>(true); // util.assertEqual, boolean>(true); // util.assertEqual, Date>(true); // util.assertEqual, undefined>(true); // util.assertEqual, null>(true); // util.assertEqual, any>(true); // util.assertEqual< // z.infer<(typeof deepReadonlySchemas_0)[9]>, // Readonly // >(true); // util.assertEqual, void>(true); // util.assertEqual< // z.infer<(typeof deepReadonlySchemas_0)[11]>, // (args_0: string, args_1: number, ...args_2: unknown[]) => unknown // >(true); // util.assertEqual< // z.infer<(typeof deepReadonlySchemas_0)[12]>, // readonly string[] // >(true); // util.assertEqual< // z.infer<(typeof deepReadonlySchemas_0)[13]>, // readonly [string, number] // >(true); // util.assertEqual< // z.infer<(typeof deepReadonlySchemas_0)[14]>, // ReadonlyMap // >(true); // util.assertEqual< // z.infer<(typeof deepReadonlySchemas_0)[15]>, // ReadonlySet> // >(true); // util.assertEqual< // z.infer<(typeof deepReadonlySchemas_0)[16]>, // Readonly> // >(true); // util.assertEqual< // z.infer<(typeof deepReadonlySchemas_0)[17]>, // Readonly> // >(true); // util.assertEqual< // z.infer<(typeof deepReadonlySchemas_0)[18]>, // { readonly a: string; readonly 1: number } // >(true); // util.assertEqual< // z.infer<(typeof deepReadonlySchemas_0)[19]>, // Readonly // >(true); // util.assertEqual< // z.infer<(typeof deepReadonlySchemas_0)[20]>, // Promise // >(true); // util.assertEqual< // z.infer, // ReadonlyMap< // ReadonlySet, // { // readonly a: { // readonly [x: string]: readonly any[]; // }; // readonly b: { // readonly c: { // readonly d: { // readonly e: { // readonly f: { // readonly g?: {}; // }; // }; // }; // }; // }; // } // > // >(true); // }); test("object freezing", () => { expect(Object.isFrozen(z.array(z.string()).readonly().parse(["a"]))).toBe(true); expect(Object.isFrozen(z.tuple([z.string(), z.number()]).readonly().parse(["a", 1]))).toBe(true); expect( Object.isFrozen( z .map(z.string(), z.date()) .readonly() .parse(new Map([["a", new Date()]])) ) ).toBe(true); expect( Object.isFrozen( z .set(z.promise(z.string())) .readonly() .parse(new Set([Promise.resolve("a")])) ) ).toBe(true); expect(Object.isFrozen(z.record(z.string()).readonly().parse({ a: "b" }))).toBe(true); expect(Object.isFrozen(z.record(z.string(), z.number()).readonly().parse({ a: 1 }))).toBe(true); expect(Object.isFrozen(z.object({ a: z.string(), 1: z.number() }).readonly().parse({ a: "b", 1: 2 }))).toBe(true); expect(Object.isFrozen(z.promise(z.string()).readonly().parse(Promise.resolve("a")))).toBe(true); }); test("async object freezing", async () => { expect(Object.isFrozen(await z.array(z.string()).readonly().parseAsync(["a"]))).toBe(true); expect(Object.isFrozen(await z.tuple([z.string(), z.number()]).readonly().parseAsync(["a", 1]))).toBe(true); expect( Object.isFrozen( await z .map(z.string(), z.date()) .readonly() .parseAsync(new Map([["a", new Date()]])) ) ).toBe(true); expect( Object.isFrozen( await z .set(z.promise(z.string())) .readonly() .parseAsync(new Set([Promise.resolve("a")])) ) ).toBe(true); expect(Object.isFrozen(await z.record(z.string()).readonly().parseAsync({ a: "b" }))).toBe(true); expect(Object.isFrozen(await z.record(z.string(), z.number()).readonly().parseAsync({ a: 1 }))).toBe(true); expect( Object.isFrozen(await z.object({ a: z.string(), 1: z.number() }).readonly().parseAsync({ a: "b", 1: 2 })) ).toBe(true); expect(Object.isFrozen(await z.promise(z.string()).readonly().parseAsync(Promise.resolve("a")))).toBe(true); });