TS5115 on Zod 4.5 to 4.6.5 z.json() types (inherited from upstream, still open there) #20

tsc-rs 0.1.0 reports TS5115 on any z.infer of an object that holds z.json(), with Zod 4.5.0 through 4.6.5. tsc 7.0.2 checks the same code clean. The port is faithful here: the Go checker at the pin (microsoft/TypeScript@673a5f17) prints the same error, so I'm filing it for tracking, not as a port bug.

Repro

index.ts, with zod@4.6.5 installed:

import * as z from "zod";

const item = z.object({ data: z.json() });

export const x: z.infer<typeof item> = { data: 1 };

tsconfig.json:

{
  "compilerOptions": {
    "strict": true,
    "noEmit": true,
    "module": "preserve",
    "moduleResolution": "bundler",
    "target": "esnext",
    "skipLibCheck": true
  },
  "files": ["index.ts"]
}

tsc -p . --pretty false

Output

index.ts(5,40): error TS5115: Instantiations of the following types appear infinitely circular: '$ZodTypeInternals', '$InferZodRecordInput', 'IsOptionalIn'.

Versions

Upstream status

microsoft/TypeScript#64372 ("Restore idempotency to resolveObjectTypeMembers") introduced it. Zod's author filed microsoft/TypeScript#64605, which is open, and merged a Zod-side fix in colinhacks/zod#6645 for the next Zod release. Until one of those lands, Zod 4.5.0 to 4.6.5 users see this error with tsc-rs. In a larger project, which call sites get flagged depends on check order, because the error fires at the 100-deep instantiation limit (instantiate_type_with_alias, crates/ts_goport/src/checker/checker_p24.rs:1799).