colinhacks
diff --git a/Collapse file
‎packages/zod/src/v4/core/schemas.ts‎
Copy file name to clipboardExpand all lines: packages/zod/src/v4/core/schemas.ts
+3-1Lines changed: 3 additions & 1 deletion b/Collapse file
‎packages/zod/src/v4/core/schemas.ts‎
Copy file name to clipboardExpand all lines: packages/zod/src/v4/core/schemas.ts
+3-1Lines changed: 3 additions & 1 deletion
diff --git a/Collapse file
‎play.ts‎
Copy file name to clipboard
+10-4Lines changed: 10 additions & 4 deletions b/Collapse file
‎play.ts‎
Copy file name to clipboard
+10-4Lines changed: 10 additions & 4 deletions
@@ -151,9 +151,11 @@ export interface $ZodTypeInternals<out O = unknown, out I = unknown> {
   parent?: $ZodType | undefined;
 }
 
+export type $ZodStandardSchema<T extends $ZodType> = StandardSchemaV1.Props<core.input<T>, core.output<T>>;
+
 export interface $ZodType<O = unknown, I = unknown> {
   _zod: $ZodTypeInternals<O, I>;
-  "~standard": StandardSchemaV1.Props<core.input<this>, core.output<this>>;
+  "~standard": $ZodStandardSchema<this>;
 }
 
 export const $ZodType: core.$constructor<$ZodType> = /*@__PURE__*/ core.$constructor("$ZodType", (inst, def) => {
 
@@ -1,5 +1,11 @@
-import { z } from "zod/v4";
+// import { z } from "zod/v4";
 
-z;
-const recordWithBrandedNumberKeys = z.record(z.number().brand("SomeBrand"), z.number());
-type recordWithBrandedNumberKeys = z.infer<typeof recordWithBrandedNumberKeys>;
+import type { z } from "zod/v4";
+
+export type RefinedSchema<T extends z.core.$ZodType | z.core.$ZodUnion = z.core.$ZodType | z.core.$ZodUnion> =
+  T extends z.core.$ZodUnion
+    ? RefinedUnionSchema<T> // <-- Type instantiation is excessively deep and possibly infinite.
+    : never;
+
+export type RefinedTypeSchema<T extends object> = T;
+export type RefinedUnionSchema<T extends z.core.$ZodUnion> = T;
Original file line number	Diff line number	Diff line change
`@@ -151,9 +151,11 @@ export interface $ZodTypeInternals<out O = unknown, out I = unknown> {`
`151`	`151`	`parent?: $ZodType \| undefined;`
`152`	`152`	`}`
`153`	`153`
	`154`	`+export type $ZodStandardSchema<T extends $ZodType> = StandardSchemaV1.Props<core.input<T>, core.output<T>>;`
	`155`	`+`
`154`	`156`	`export interface $ZodType<O = unknown, I = unknown> {`
`155`	`157`	`_zod: $ZodTypeInternals<O, I>;`
`156`		`- "~standard": StandardSchemaV1.Props<core.input<this>, core.output<this>>;`
	`158`	`+ "~standard": $ZodStandardSchema<this>;`
`157`	`159`	`}`
`158`	`160`
`159`	`161`	`export const $ZodType: core.$constructor<$ZodType> = /@__PURE__/ core.$constructor("$ZodType", (inst, def) => {`