zod 4.1.0-canary.20250724T211341 → 4.1.0-canary.20250725T001018

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "zod",
-  "version": "4.1.0-canary.20250724T211341",
+  "version": "4.1.0-canary.20250725T001018",
   "type": "module",
   "author": "Colin McDonnell <zod@colinhacks.com>",
   "description": "TypeScript-first schema declaration and validation library with static type inference",

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

@@ -1,6 +1,6 @@
 import { File as WebFile } from "@web-std/file";
 
-import { afterEach, beforeEach, expect, test } from "vitest";
+import { afterEach, beforeEach, expect, expectTypeOf, test } from "vitest";
 
 import * as z from "zod/v4";
 
@@ -26,6 +26,10 @@ test("passing validations", () => {
   expect(() => mimeCheck.parse(new File([""], "test.txt", { type: "text/csv" }))).toThrow();
 });
 
+test("types", () => {
+  expectTypeOf(z.file().parse(new File([], "test.txt"))).toEqualTypeOf(new File([], "test.txt"));
+});
+
 test("failing validations", () => {
   expect(minCheck.safeParse(new File(["1234"], "test.txt"))).toMatchInlineSnapshot(`
     {

package/src/v4/core/schemas.ts

@@ -2862,8 +2862,8 @@ export const $ZodLiteral: core.$constructor<$ZodLiteral> = /*@__PURE__*/ core.$c
 type _File = typeof globalThis extends { File: infer F extends new (...args: any[]) => any } ? InstanceType<F> : {};
 /** Do not reference this directly. */
 export interface File extends _File {
-  type: string;
-  size: number;
+  readonly type: string;
+  readonly size: number;
 }
 
 export interface $ZodFileDef extends $ZodTypeDef {

package/v4/core/schemas.d.cts

@@ -768,8 +768,8 @@ type _File = typeof globalThis extends {
 } ? InstanceType<F> : {};
 /** Do not reference this directly. */
 export interface File extends _File {
-    type: string;
-    size: number;
+    readonly type: string;
+    readonly size: number;
 }
 export interface $ZodFileDef extends $ZodTypeDef {
     type: "file";

package/v4/core/schemas.d.ts

@@ -768,8 +768,8 @@ type _File = typeof globalThis extends {
 } ? InstanceType<F> : {};
 /** Do not reference this directly. */
 export interface File extends _File {
-    type: string;
-    size: number;
+    readonly type: string;
+    readonly size: number;
 }
 export interface $ZodFileDef extends $ZodTypeDef {
     type: "file";