Fix more excessively deep

Author: colinhacks

packages/zod/src/v4/core/schemas.ts

@@ -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) => {

play.ts

@@ -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;