123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206
// @ts-ignore TS6133import { expect } from "https://deno.land/x/expect@v0.2.6/mod.ts";const test = Deno.test;
import { util } from "../helpers/util.ts";import * as z from "../index.ts";
enum testEnum {  A,  B,}
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<z.infer<(typeof schemas)[0]>, string>(true);  util.assertEqual<z.infer<(typeof schemas)[1]>, number>(true);  util.assertEqual<z.infer<(typeof schemas)[2]>, number>(true);  util.assertEqual<z.infer<(typeof schemas)[3]>, bigint>(true);  util.assertEqual<z.infer<(typeof schemas)[4]>, boolean>(true);  util.assertEqual<z.infer<(typeof schemas)[5]>, Date>(true);  util.assertEqual<z.infer<(typeof schemas)[6]>, undefined>(true);  util.assertEqual<z.infer<(typeof schemas)[7]>, null>(true);  util.assertEqual<z.infer<(typeof schemas)[8]>, any>(true);  util.assertEqual<z.infer<(typeof schemas)[9]>, Readonly<unknown>>(true);  util.assertEqual<z.infer<(typeof schemas)[10]>, void>(true);  util.assertEqual<    z.infer<(typeof schemas)[11]>,    (args_0: string, args_1: number, ...args_2: unknown[]) => unknown  >(true);  util.assertEqual<z.infer<(typeof schemas)[12]>, readonly string[]>(true);
  util.assertEqual<z.infer<(typeof schemas)[13]>, readonly [string, number]>(    true  );  util.assertEqual<z.infer<(typeof schemas)[14]>, ReadonlyMap<string, Date>>(    true  );  util.assertEqual<z.infer<(typeof schemas)[15]>, ReadonlySet<Promise<string>>>(    true  );  util.assertEqual<    z.infer<(typeof schemas)[16]>,    Readonly<Record<string, string>>  >(true);  util.assertEqual<    z.infer<(typeof schemas)[17]>,    Readonly<Record<string, number>>  >(true);  util.assertEqual<    z.infer<(typeof schemas)[18]>,    { readonly a: string; readonly 1: number }  >(true);  util.assertEqual<z.infer<(typeof schemas)[19]>, Readonly<testEnum>>(true);  util.assertEqual<z.infer<(typeof schemas)[20]>, Promise<string>>(true);});
// test("deep inference", () => {//   util.assertEqual<z.infer<(typeof deepReadonlySchemas_0)[0]>, string>(true);//   util.assertEqual<z.infer<(typeof deepReadonlySchemas_0)[1]>, number>(true);//   util.assertEqual<z.infer<(typeof deepReadonlySchemas_0)[2]>, number>(true);//   util.assertEqual<z.infer<(typeof deepReadonlySchemas_0)[3]>, bigint>(true);//   util.assertEqual<z.infer<(typeof deepReadonlySchemas_0)[4]>, boolean>(true);//   util.assertEqual<z.infer<(typeof deepReadonlySchemas_0)[5]>, Date>(true);//   util.assertEqual<z.infer<(typeof deepReadonlySchemas_0)[6]>, undefined>(true);//   util.assertEqual<z.infer<(typeof deepReadonlySchemas_0)[7]>, null>(true);//   util.assertEqual<z.infer<(typeof deepReadonlySchemas_0)[8]>, any>(true);//   util.assertEqual<//     z.infer<(typeof deepReadonlySchemas_0)[9]>,//     Readonly<unknown>//   >(true);//   util.assertEqual<z.infer<(typeof deepReadonlySchemas_0)[10]>, 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<string, Date>//   >(true);//   util.assertEqual<//     z.infer<(typeof deepReadonlySchemas_0)[15]>,//     ReadonlySet<Promise<string>>//   >(true);//   util.assertEqual<//     z.infer<(typeof deepReadonlySchemas_0)[16]>,//     Readonly<Record<string, string>>//   >(true);//   util.assertEqual<//     z.infer<(typeof deepReadonlySchemas_0)[17]>,//     Readonly<Record<string, number>>//   >(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<testEnum>//   >(true);//   util.assertEqual<//     z.infer<(typeof deepReadonlySchemas_0)[20]>,//     Promise<string>//   >(true);
//   util.assertEqual<//     z.infer<typeof crazyDeepReadonlySchema>,//     ReadonlyMap<//       ReadonlySet<readonly [string, number]>,//       {//         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);});