@willaimg/yatsp 4.3.6

package/src/v4/classic/tests/primitive.test.ts

@@ -0,0 +1,175 @@
+import { expect, expectTypeOf, test } from "vitest";
+import * as z from "yatsp/v4";
+
+const literalStringSchema = z.literal("asdf");
+const literalNumberSchema = z.literal(12);
+const literalBooleanSchema = z.literal(true);
+const literalBigIntSchema = z.literal(BigInt(42));
+
+const stringSchema = z.string();
+const numberSchema = z.number();
+const bigintSchema = z.bigint();
+const booleanSchema = z.boolean();
+const dateSchema = z.date();
+const symbolSchema = z.symbol();
+const nullSchema = z.null();
+const undefinedSchema = z.undefined();
+const stringSchemaOptional = z.string().optional();
+const stringSchemaNullable = z.string().nullable();
+const numberSchemaOptional = z.number().optional();
+const numberSchemaNullable = z.number().nullable();
+const bigintSchemaOptional = z.bigint().optional();
+const bigintSchemaNullable = z.bigint().nullable();
+const booleanSchemaOptional = z.boolean().optional();
+const booleanSchemaNullable = z.boolean().nullable();
+const dateSchemaOptional = z.date().optional();
+const dateSchemaNullable = z.date().nullable();
+const symbolSchemaOptional = z.symbol().optional();
+const symbolSchemaNullable = z.symbol().nullable();
+
+test("literal string schema", () => {
+  expect(literalStringSchema.parse("asdf")).toBe("asdf");
+  expect(() => literalStringSchema.parse("not_asdf")).toThrow();
+  expect(() => literalStringSchema.parse(123)).toThrow();
+  expect(() => literalStringSchema.parse(true)).toThrow();
+  expect(() => literalStringSchema.parse({})).toThrow();
+});
+
+test("literal number schema", () => {
+  expect(literalNumberSchema.parse(12)).toBe(12);
+  expect(() => literalNumberSchema.parse(13)).toThrow();
+  expect(() => literalNumberSchema.parse("foo")).toThrow();
+  expect(() => literalNumberSchema.parse(true)).toThrow();
+  expect(() => literalNumberSchema.parse({})).toThrow();
+});
+
+test("literal boolean schema", () => {
+  expect(literalBooleanSchema.parse(true)).toBe(true);
+  expect(() => literalBooleanSchema.parse(false)).toThrow();
+  expect(() => literalBooleanSchema.parse("asdf")).toThrow();
+  expect(() => literalBooleanSchema.parse(123)).toThrow();
+  expect(() => literalBooleanSchema.parse({})).toThrow();
+});
+
+test("literal bigint schema", () => {
+  expect(literalBigIntSchema.parse(BigInt(42))).toBe(BigInt(42));
+  expect(() => literalBigIntSchema.parse(BigInt(43))).toThrow();
+  expect(() => literalBigIntSchema.parse("asdf")).toThrow();
+  expect(() => literalBigIntSchema.parse(123)).toThrow();
+  expect(() => literalBigIntSchema.parse({})).toThrow();
+});
+
+test("string schema", () => {
+  stringSchema.parse("foo");
+  expect(() => stringSchema.parse(Math.random())).toThrow();
+  expect(() => stringSchema.parse(true)).toThrow();
+  expect(() => stringSchema.parse(undefined)).toThrow();
+  expect(() => stringSchema.parse(null)).toThrow();
+});
+
+test("number schema", () => {
+  numberSchema.parse(Math.random());
+  expect(() => numberSchema.parse("foo")).toThrow();
+  expect(() => numberSchema.parse(BigInt(17))).toThrow();
+  expect(() => numberSchema.parse(true)).toThrow();
+  expect(() => numberSchema.parse(undefined)).toThrow();
+  expect(() => numberSchema.parse(null)).toThrow();
+});
+
+test("bigint schema", () => {
+  bigintSchema.parse(BigInt(17));
+  expect(() => bigintSchema.parse("foo")).toThrow();
+  expect(() => bigintSchema.parse(Math.random())).toThrow();
+  expect(() => bigintSchema.parse(true)).toThrow();
+  expect(() => bigintSchema.parse(undefined)).toThrow();
+  expect(() => bigintSchema.parse(null)).toThrow();
+});
+
+test("boolean schema", () => {
+  booleanSchema.parse(true);
+  expect(() => booleanSchema.parse("foo")).toThrow();
+  expect(() => booleanSchema.parse(Math.random())).toThrow();
+  expect(() => booleanSchema.parse(undefined)).toThrow();
+  expect(() => booleanSchema.parse(null)).toThrow();
+});
+
+test("date schema", async () => {
+  dateSchema.parse(new Date());
+  expect(() => dateSchema.parse("foo")).toThrow();
+  expect(() => dateSchema.parse(Math.random())).toThrow();
+  expect(() => dateSchema.parse(true)).toThrow();
+  expect(() => dateSchema.parse(undefined)).toThrow();
+  expect(() => dateSchema.parse(null)).toThrow();
+  expect(await dateSchema.safeParseAsync(new Date("invalid"))).toMatchInlineSnapshot(`
+    {
+      "error": [YatspError: [
+      {
+        "expected": "date",
+        "code": "invalid_type",
+        "received": "Invalid Date",
+        "path": [],
+        "message": "Invalid input: expected date, received Date"
+      }
+    ]],
+      "success": false,
+    }
+  `);
+});
+
+test("symbol schema", () => {
+  symbolSchema.parse(Symbol("foo"));
+  expect(() => symbolSchema.parse("foo")).toThrow();
+  expect(() => symbolSchema.parse(Math.random())).toThrow();
+  expect(() => symbolSchema.parse(true)).toThrow();
+  expect(() => symbolSchema.parse(new Date())).toThrow();
+  expect(() => symbolSchema.parse(undefined)).toThrow();
+  expect(() => symbolSchema.parse(null)).toThrow();
+});
+
+test("undefined schema", () => {
+  undefinedSchema.parse(undefined);
+  expect(() => undefinedSchema.parse("foo")).toThrow();
+  expect(() => undefinedSchema.parse(Math.random())).toThrow();
+  expect(() => undefinedSchema.parse(true)).toThrow();
+  expect(() => undefinedSchema.parse(null)).toThrow();
+});
+
+test("null schema", () => {
+  nullSchema.parse(null);
+  expect(() => nullSchema.parse("foo")).toThrow();
+  expect(() => nullSchema.parse(Math.random())).toThrow();
+  expect(() => nullSchema.parse(true)).toThrow();
+  expect(() => nullSchema.parse(undefined)).toThrow();
+});
+
+test("primitive inference", () => {
+  expectTypeOf<z.TypeOf<typeof literalStringSchema>>().toEqualTypeOf<"asdf">();
+  expectTypeOf<z.TypeOf<typeof literalNumberSchema>>().toEqualTypeOf<12>();
+  expectTypeOf<z.TypeOf<typeof literalBooleanSchema>>().toEqualTypeOf<true>();
+  expectTypeOf<z.TypeOf<typeof literalBigIntSchema>>().toEqualTypeOf<bigint>();
+  expectTypeOf<z.TypeOf<typeof stringSchema>>().toEqualTypeOf<string>();
+  expectTypeOf<z.TypeOf<typeof numberSchema>>().toEqualTypeOf<number>();
+  expectTypeOf<z.TypeOf<typeof bigintSchema>>().toEqualTypeOf<bigint>();
+  expectTypeOf<z.TypeOf<typeof booleanSchema>>().toEqualTypeOf<boolean>();
+  expectTypeOf<z.TypeOf<typeof dateSchema>>().toEqualTypeOf<Date>();
+  expectTypeOf<z.TypeOf<typeof symbolSchema>>().toEqualTypeOf<symbol>();
+  expectTypeOf<z.TypeOf<typeof nullSchema>>().toEqualTypeOf<null>();
+  expectTypeOf<z.TypeOf<typeof undefinedSchema>>().toEqualTypeOf<undefined>();
+  expectTypeOf<z.TypeOf<typeof stringSchemaOptional>>().toEqualTypeOf<string | undefined>();
+  expectTypeOf<z.TypeOf<typeof stringSchemaNullable>>().toEqualTypeOf<string | null>();
+  expectTypeOf<z.TypeOf<typeof numberSchemaOptional>>().toEqualTypeOf<number | undefined>();
+  expectTypeOf<z.TypeOf<typeof numberSchemaNullable>>().toEqualTypeOf<number | null>();
+  expectTypeOf<z.TypeOf<typeof bigintSchemaOptional>>().toEqualTypeOf<bigint | undefined>();
+  expectTypeOf<z.TypeOf<typeof bigintSchemaNullable>>().toEqualTypeOf<bigint | null>();
+  expectTypeOf<z.TypeOf<typeof booleanSchemaOptional>>().toEqualTypeOf<boolean | undefined>();
+  expectTypeOf<z.TypeOf<typeof booleanSchemaNullable>>().toEqualTypeOf<boolean | null>();
+  expectTypeOf<z.TypeOf<typeof dateSchemaOptional>>().toEqualTypeOf<Date | undefined>();
+  expectTypeOf<z.TypeOf<typeof dateSchemaNullable>>().toEqualTypeOf<Date | null>();
+  expectTypeOf<z.TypeOf<typeof symbolSchemaOptional>>().toEqualTypeOf<symbol | undefined>();
+  expectTypeOf<z.TypeOf<typeof symbolSchemaNullable>>().toEqualTypeOf<symbol | null>();
+});
+
+test("get literal values", () => {
+  expect(literalStringSchema.values).toEqual(new Set(["asdf"]));
+  expect(literalStringSchema._yatsp.def.values).toEqual(["asdf"]);
+});

package/src/v4/classic/tests/promise.test.ts

@@ -0,0 +1,81 @@
+import { expect, expectTypeOf, test } from "vitest";
+import * as z from "yatsp/v4";
+
+const promSchema = z.promise(
+  z.object({
+    name: z.string(),
+    age: z.number(),
+  })
+);
+
+test("promise inference", () => {
+  type promSchemaType = z.infer<typeof promSchema>;
+  expectTypeOf<promSchemaType>().toEqualTypeOf<Promise<{ name: string; age: number }>>();
+});
+
+test("promise parsing success", async () => {
+  // expect(() => promSchema.parse(Promise.resolve({ name: "Bobby", age: 10 }))).toThrow();
+  const pr = promSchema.parseAsync(Promise.resolve({ name: "Bobby", age: 10 }));
+  expect(pr).toBeInstanceOf(Promise);
+  const result = await pr;
+  expect(result).toMatchInlineSnapshot(`
+    {
+      "age": 10,
+      "name": "Bobby",
+    }
+  `);
+});
+
+test("promise parsing fail", async () => {
+  const bad = await promSchema.safeParseAsync(Promise.resolve({ name: "Bobby", age: "10" }));
+  expect(bad.success).toBe(false);
+  expect(bad.error).toBeInstanceOf(z.YatspError);
+});
+
+test("promise parsing fail 2", async () => {
+  const result = await promSchema.safeParseAsync(Promise.resolve({ name: "Bobby", age: "10" }));
+  expect(result.success).toBe(false);
+  expect(result.error).toBeInstanceOf(z.YatspError);
+});
+
+test("promise parsing fail", () => {
+  const bad = () => promSchema.parse({ then: () => {}, catch: {} });
+  expect(bad).toThrow();
+});
+
+test("sync promise parsing", () => {
+  expect(() => z.promise(z.string()).parse(Promise.resolve("asfd"))).toThrow();
+});
+
+const asyncFunction = z.function({
+  input: z.tuple([]),
+  output: promSchema,
+});
+
+test("async function pass", async () => {
+  const validatedFunction = asyncFunction.implementAsync(async () => {
+    return { name: "jimmy", age: 14 };
+  });
+  await expect(validatedFunction()).resolves.toEqual({
+    name: "jimmy",
+    age: 14,
+  });
+});
+
+test("async function fail", async () => {
+  const validatedFunction = asyncFunction.implementAsync(() => {
+    return Promise.resolve("asdf" as any);
+  });
+  await expect(validatedFunction()).rejects.toBeInstanceOf(z.core.$YatspError);
+});
+
+test("async promise parsing", () => {
+  const res = z.promise(z.number()).parseAsync(Promise.resolve(12));
+  expect(res).toBeInstanceOf(Promise);
+});
+
+test("resolves", () => {
+  const foo = z.literal("foo");
+  const res = z.promise(foo);
+  expect(res.unwrap()).toEqual(foo);
+});

package/src/v4/classic/tests/properties.test.ts

@@ -0,0 +1,141 @@
+import { expect, expectTypeOf, test } from "vitest";
+import * as z from "yatsp/v4";
+
+test("z.properties is a check", () => {
+  const s = z.object({ a: z.string(), b: z.string() }).check(z.properties({ a: z.literal("x"), b: z.literal("y") }));
+
+  // asserts in place: extra keys pass, and every failing key reports
+  expect(s.safeParse({ a: "x", b: "y", extra: 1 }).success).toBe(true);
+  expect(s.safeParse({ a: "!", b: "!" }).error!.issues.map((i) => i.path)).toEqual([["a"], ["b"]]);
+
+  // the base already typed the value, so the properties are asserted on whatever it produced — a string's length, as z.property() does
+  const long = z.string().check(z.properties({ length: z.number().min(3) }));
+  expect(long.parse("abc")).toBe("abc");
+  expect(long.safeParse("ab").error!.issues.map((i) => i.path)).toEqual([["length"]]);
+  expect(
+    z
+      .compile(long)
+      .safeParse("ab")
+      .error!.issues.map((i) => i.path)
+  ).toEqual([["length"]]);
+
+  // not a schema
+  // @ts-expect-error a check has no parse of its own
+  z.properties({ a: z.string() }).parse;
+});
+
+test("z.properties discards transformed output", () => {
+  // asserts and never writes back, exactly as z.property() behaves; a nested object schema rebuilds its output even without transforms, so identity cannot distinguish the two
+  const s = z.any().check(z.properties({ a: z.string().transform((s) => s.toUpperCase()) }));
+  const input = { a: "hi" };
+  expect(s.parse(input)).toBe(input);
+  expect(input.a).toBe("hi");
+});
+
+test("z.instanceof().properties()", () => {
+  const httpsUrl = z.instanceof(URL).properties({ protocol: z.literal("https:") });
+  expectTypeOf<z.infer<typeof httpsUrl>>().toEqualTypeOf<URL & { protocol: "https:" }>();
+
+  const u = new URL("https://example.com");
+  expect(httpsUrl.parse(u)).toBe(u);
+  expect(httpsUrl.safeParse(new URL("http://example.com")).error!.issues.map((i) => i.path)).toEqual([["protocol"]]);
+
+  // chains, and each call narrows further
+  const chained = httpsUrl.properties({ port: z.literal("") });
+  expectTypeOf<z.infer<typeof chained>>().toEqualTypeOf<URL & { protocol: "https:" } & { port: "" }>();
+  expect(chained.safeParse(u).success).toBe(true);
+  expect(chained.safeParse(new URL("https://example.com:8443")).error!.issues.map((i) => i.path)).toEqual([["port"]]);
+
+  // nothing is written back, so the narrowing is over the shape's input side
+  const W = z.instanceof(URL).properties({ search: z.string().transform((s) => s.length) });
+  expectTypeOf<z.infer<typeof W>>().toEqualTypeOf<URL & { search: string }>();
+});
+
+test("z.instanceof().properties() constrains the shape to the instance type", () => {
+  const file = z.instanceof(File).properties({ name: z.string(), size: z.number().max(1024) });
+  expectTypeOf<z.infer<typeof file>>().toEqualTypeOf<File & { name: string; size: number }>();
+
+  // @ts-expect-error no such property on File
+  z.instanceof(File).properties({ nmae: z.string() });
+
+  // @ts-expect-error File["size"] is a number
+  z.instanceof(File).properties({ size: z.string() });
+
+  // methods are out of the shape, so an object literal's inherited toString can't collide with the constraint
+  // @ts-expect-error
+  z.instanceof(File).properties({ text: z.any() });
+
+  // a literal still narrows a wider property
+  const png = z.instanceof(File).properties({ type: z.literal("image/png") });
+  expectTypeOf<z.infer<typeof png>>().toEqualTypeOf<File & { type: "image/png" }>();
+});
+
+test("z.properties spreads into .check()", () => {
+  // the 4.5 array call sites: the check yields itself from Symbol.iterator
+  const p = z.properties({ a: z.literal("x") });
+  expect([...p]).toEqual([p]);
+
+  const s = z.object({ a: z.string() }).check(...z.properties({ a: z.literal("x") }));
+  expect(s.safeParse({ a: "x" }).success).toBe(true);
+  expect(s.safeParse({ a: "!" }).error!.issues.map((i) => i.path)).toEqual([["a"]]);
+});
+
+test("z.properties compiles inside a container", () => {
+  const outer = z.compile(z.object({ url: z.instanceof(URL).properties({ protocol: z.literal("https:") }) }));
+  expect(outer.safeParse({ url: new URL("http://example.com") }).error!.issues.map((i) => i.path)).toEqual([
+    ["url", "protocol"],
+  ]);
+});
+
+test("z.properties async", async () => {
+  const s = z.any().check(z.properties({ a: z.string().refine(async (s) => s.length > 1) }));
+  const ok = { a: "hi" };
+  await expect(s.parseAsync(ok)).resolves.toBe(ok);
+  const bad = await s.safeParseAsync({ a: "!" });
+  expect(bad.error!.issues.map((i) => i.path)).toEqual([["a"]]);
+});
+
+test("z.properties validates symbol keys", () => {
+  const sym = Symbol("tag");
+  const s = z.any().check(z.properties({ [sym]: z.string() }));
+  expect(s.safeParse({ [sym]: "ok" }).success).toBe(true);
+  expect(s.safeParse({ [sym]: 123 }).error!.issues.map((i) => i.path)).toEqual([[sym]]);
+  expect(
+    z
+      .compile(s)
+      .safeParse({ [sym]: 123 })
+      .error!.issues.map((i) => i.path)
+  ).toEqual([[sym]]);
+});
+
+test("z.properties compiled and interpreted agree on a nullish value", () => {
+  // a base that permits null reaches the check with one; the compiled property read must not throw where the runtime reports an issue
+  const s = z.any().check(...z.properties({ a: z.string() }));
+  const expected = [["invalid_type", []]];
+  expect(s.safeParse(null).error!.issues.map((i) => [i.code, i.path])).toEqual(expected);
+  expect(
+    z
+      .compile(s)
+      .safeParse(null)
+      .error!.issues.map((i) => [i.code, i.path])
+  ).toEqual(expected);
+});
+
+test("z.properties with a custom when refuses to compile", () => {
+  // `when` is not publicly settable, since it gates the assertion inside the run loop. A hand-built def can still carry one, and compiling it must refuse rather than run the shape unconditionally: a union branch compiles to its own IIFE, so a wrong rejection is absorbed as a branch failure with no fallback.
+  const p = new z.core.$YatspCheckProperties({ check: "properties", shape: { a: z.literal("x") }, when: () => false });
+  const s = z.union([z.any().check(p), z.object({ b: z.string() })]);
+  const input = { a: "wrong", b: "hello" };
+  expect(z.compile(s).safeParse(input)).toEqual(s.safeParse(input));
+});
+
+test("z.properties survives shape mutation", () => {
+  // key and schema are snapshotted together; caching one and reading the other live paired a stale key with a missing schema
+  const shape: Record<string, z.YatspType> = { a: z.string() };
+  const s = z.any().check(z.properties(shape));
+  expect(s.safeParse({ a: "x" }).success).toBe(true);
+  delete shape.a;
+  expect(s.safeParse({ a: "x" }).success).toBe(true);
+  shape.b = z.string();
+  expect(s.safeParse({ a: "x" }).success).toBe(true);
+});

package/src/v4/classic/tests/prototypes.test.ts

@@ -0,0 +1,23 @@
+import { expect, test } from "vitest";
+import * as z from "yatsp/v4";
+
+declare module "yatsp/v4" {
+  interface YatspType {
+    /** @deprecated */
+    _classic(): string;
+  }
+}
+
+test("prototype extension", () => {
+  z.YatspType.prototype._classic = function () {
+    return "_classic";
+  };
+
+  // should pass
+  const result = z.string()._classic();
+  expect(result).toBe("_classic");
+  // expectTypeOf<typeof result>().toEqualTypeOf<string>();
+
+  // clean up
+  z.YatspType.prototype._classic = undefined;
+});

package/src/v4/classic/tests/readonly.test.ts

@@ -0,0 +1,184 @@
+import { expect, expectTypeOf, test } from "vitest";
+import * as z from "yatsp/v4";
+
+enum testEnum {
+  A = 0,
+  B = 1,
+}
+
+test("flat inference", () => {
+  const readonlyString = z.string().readonly();
+  const readonlyNumber = z.number().readonly();
+  const readonlyNaN = z.nan().readonly();
+  const readonlyBigInt = z.bigint().readonly();
+  const readonlyBoolean = z.boolean().readonly();
+  const readonlyDate = z.date().readonly();
+  const readonlyUndefined = z.undefined().readonly();
+  const readonlyNull = z.null().readonly();
+  const readonlyAny = z.any().readonly();
+  const readonlyUnknown = z.unknown().readonly();
+  const readonlyVoid = z.void().readonly();
+  const readonlyStringArray = z.array(z.string()).readonly();
+  const readonlyTuple = z.tuple([z.string(), z.number()]).readonly();
+  const readonlyMap = z.map(z.string(), z.date()).readonly();
+  const readonlySet = z.set(z.string()).readonly();
+  const readonlyStringRecord = z.record(z.string(), z.string()).readonly();
+  const readonlyNumberRecord = z.record(z.string(), z.number()).readonly();
+  const readonlyObject = z.object({ a: z.string(), 1: z.number() }).readonly();
+  const readonlyEnum = z.nativeEnum(testEnum).readonly();
+  const readonlyPromise = z.promise(z.string()).readonly();
+
+  expectTypeOf<typeof readonlyString._output>().toEqualTypeOf<string>();
+  expectTypeOf<typeof readonlyNumber._output>().toEqualTypeOf<number>();
+  expectTypeOf<typeof readonlyNaN._output>().toEqualTypeOf<number>();
+  expectTypeOf<typeof readonlyBigInt._output>().toEqualTypeOf<bigint>();
+  expectTypeOf<typeof readonlyBoolean._output>().toEqualTypeOf<boolean>();
+  expectTypeOf<typeof readonlyDate._output>().toEqualTypeOf<Date>();
+  expectTypeOf<typeof readonlyUndefined._output>().toEqualTypeOf<undefined>();
+  expectTypeOf<typeof readonlyNull._output>().toEqualTypeOf<null>();
+  expectTypeOf<typeof readonlyAny._output>().toEqualTypeOf<any>();
+  expectTypeOf<typeof readonlyUnknown._output>().toEqualTypeOf<Readonly<unknown>>();
+  expectTypeOf<typeof readonlyVoid._output>().toEqualTypeOf<void>();
+  expectTypeOf<typeof readonlyStringArray._output>().toEqualTypeOf<readonly string[]>();
+  expectTypeOf<typeof readonlyTuple._output>().toEqualTypeOf<readonly [string, number]>();
+  expectTypeOf<typeof readonlyMap._output>().toEqualTypeOf<ReadonlyMap<string, Date>>();
+  expectTypeOf<typeof readonlySet._output>().toEqualTypeOf<ReadonlySet<string>>();
+  expectTypeOf<typeof readonlyStringRecord._output>().toEqualTypeOf<Readonly<Record<string, string>>>();
+  expectTypeOf<typeof readonlyNumberRecord._output>().toEqualTypeOf<Readonly<Record<string, number>>>();
+  expectTypeOf<typeof readonlyObject._output>().toEqualTypeOf<{ readonly a: string; readonly 1: number }>();
+  expectTypeOf<typeof readonlyEnum._output>().toEqualTypeOf<Readonly<testEnum>>();
+  expectTypeOf<typeof readonlyPromise._output>().toEqualTypeOf<Promise<string>>();
+});
+
+test("object freezing", async () => {
+  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.record(z.string(), 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(
+      await z
+        .set(z.promise(z.string()))
+        .readonly()
+        .parseAsync(new Set([Promise.resolve("a")]))
+    )
+  ).toBe(true);
+  expect(Object.isFrozen(await z.promise(z.string()).readonly().parseAsync(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(), 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);
+});
+
+test("readonly inference", () => {
+  const readonlyStringArray = z.string().array().readonly();
+  const readonlyStringTuple = z.tuple([z.string()]).readonly();
+  const deepReadonly = z.object({ a: z.string() }).readonly();
+
+  type readonlyStringArray = z.infer<typeof readonlyStringArray>;
+  type readonlyStringTuple = z.infer<typeof readonlyStringTuple>;
+  type deepReadonly = z.infer<typeof deepReadonly>;
+
+  expectTypeOf<readonlyStringArray>().toEqualTypeOf<readonly string[]>();
+  expectTypeOf<readonlyStringTuple>().toEqualTypeOf<readonly [string]>();
+  expectTypeOf<deepReadonly>().toEqualTypeOf<{ readonly a: string }>();
+});
+
+test("readonly parse", () => {
+  const schema = z.array(z.string()).readonly();
+  const readonlyArray = ["a", "b", "c"] as const;
+  const mutableArray = ["a", "b", "c"];
+  const result1 = schema.parse(readonlyArray);
+  const result2 = schema.parse(mutableArray);
+  expect(result1).toEqual(readonlyArray);
+  expect(result2).toEqual(mutableArray);
+});
+
+test("readonly parse with tuples", () => {
+  const schema = z.tuple([z.string(), z.number()]).readonly();
+  schema.parse(["a", 1]);
+});
+
+test("readonly and the get method", () => {
+  const readonlyString = z.string().readonly();
+  const readonlyNumber1 = z.number().readonly();
+  const readonlyNumber2 = z.number().readonly();
+  const readonlyBigInt = z.bigint().readonly();
+  const readonlyBoolean = z.boolean().readonly();
+  const readonlyDate = z.date().readonly();
+  const readonlyUndefined = z.undefined().readonly();
+  const readonlyNull = z.null().readonly();
+  const readonlyAny = z.any().readonly();
+  const readonlyUnknown = z.unknown().readonly();
+  const readonlyVoid = z.void().readonly();
+  // const readonlyFunction = z.function(z.tuple([z.string(), z.number()]), z.unknown()).readonly();
+  const readonlyStringArray = z.string().array().readonly();
+  const readonlyTuple = z.tuple([z.string(), z.number()]).readonly();
+
+  expectTypeOf<z.infer<typeof readonlyString>>().toEqualTypeOf<string>();
+  expectTypeOf<z.infer<typeof readonlyNumber1>>().toEqualTypeOf<number>();
+  expectTypeOf<z.infer<typeof readonlyNumber2>>().toEqualTypeOf<number>();
+  expectTypeOf<z.infer<typeof readonlyBigInt>>().toEqualTypeOf<bigint>();
+  expectTypeOf<z.infer<typeof readonlyBoolean>>().toEqualTypeOf<boolean>();
+  expectTypeOf<z.infer<typeof readonlyDate>>().toEqualTypeOf<Date>();
+  expectTypeOf<z.infer<typeof readonlyUndefined>>().toEqualTypeOf<undefined>();
+  expectTypeOf<z.infer<typeof readonlyNull>>().toEqualTypeOf<null>();
+  expectTypeOf<z.infer<typeof readonlyAny>>().toEqualTypeOf<any>();
+  expectTypeOf<z.infer<typeof readonlyUnknown>>().toEqualTypeOf<Readonly<unknown>>();
+  expectTypeOf<z.infer<typeof readonlyVoid>>().toEqualTypeOf<void>();
+  // expectTypeOf<z.infer<typeof readonlyFunction>>().toEqualTypeOf<
+  //   (args_0: string, args_1: number, ...args_2: unknown[]) => unknown
+  // >();
+  expectTypeOf<z.infer<typeof readonlyStringArray>>().toEqualTypeOf<readonly string[]>();
+  expectTypeOf<z.infer<typeof readonlyTuple>>().toEqualTypeOf<readonly [string, number]>();
+
+  expect(readonlyString.parse("asdf")).toEqual("asdf");
+  expect(readonlyNumber1.parse(1234)).toEqual(1234);
+  expect(readonlyNumber2.parse(1234)).toEqual(1234);
+  const bigIntVal = BigInt(1);
+  expect(readonlyBigInt.parse(bigIntVal)).toEqual(bigIntVal);
+  expect(readonlyBoolean.parse(true)).toEqual(true);
+  const dateVal = new Date();
+  expect(readonlyDate.parse(dateVal)).toEqual(dateVal);
+  expect(readonlyUndefined.parse(undefined)).toEqual(undefined);
+  expect(readonlyNull.parse(null)).toEqual(null);
+  expect(readonlyAny.parse("whatever")).toEqual("whatever");
+  expect(readonlyUnknown.parse("whatever")).toEqual("whatever");
+  expect(readonlyVoid.parse(undefined)).toEqual(undefined);
+  // expect(readonlyFunction.parse(() => void 0)).toEqual(() => void 0);
+  expect(readonlyStringArray.parse(["asdf"])).toEqual(["asdf"]);
+  expect(readonlyTuple.parse(["asdf", 1234])).toEqual(["asdf", 1234]);
+});