1import { $brand, $constructor } from "./core.js";
2
3type $RemoveBrand<T> = T extends infer U
4  ? U extends { [k in typeof $brand]: unknown }
5    ? Omit<U, typeof $brand>
6    : U
7  : never;
8
9type $ZodErrorTreeInternal<T, U = string> = T extends [any, ...any[]]
10  ? { errors: U[]; items?: { [K in keyof T]?: $ZodErrorTreeInternal<$RemoveBrand<T[K]>, U> } }
11  : T extends any[]
12    ? { errors: U[]; items?: Array<$ZodErrorTreeInternal<$RemoveBrand<T[number]>, U>> }
13    : T extends object
14      ? { errors: U[]; properties?: { [K in keyof T]?: $ZodErrorTreeInternal<$RemoveBrand<T[K]>, U> } }
15      : { errors: U[] };
16
17export type $ZodErrorTree<T, U = string> = $ZodErrorTreeInternal<$RemoveBrand<T>, U>;

1import type { $brand } from "./core.js";
2
3type StripPrimitiveBrand<T> = T extends infer Primitive & $brand<any>
4  ? Primitive extends util.Primitive
5    ? StripPrimitiveBrand<Primitive>
6    : T
7  : T;
8
9type _ZodErrorTree<T, U = string> = T extends [any, ...any[]]
10  ? { errors: U[]; items?: { [K in keyof T]?: $ZodErrorTree<T[K], U> } }
11  : T extends any[]
12    ? { errors: U[]; items?: Array<$ZodErrorTree<T[number], U>> }
13    : T extends object
14      ? { errors: U[]; properties?: { [K in keyof T]?: $ZodErrorTree<T[K], U> } }
15      : { errors: U[] };
16
17export type $ZodErrorTree<T, U = string> = _ZodErrorTree<StripPrimitiveBrand<T>, U>;