zodv4 schema incorrect Properties type

[EvgeniyKumachev]

For zodv4 codegen currently outputs Properties type with no input type passed to z.ZodType

type Properties<T> = Required<{
    [K in keyof T]: z.ZodType<T[K]>;
}>;

type Data = {
    field: string | null
    field2?: string[] | null
}

type Result = z.ZodObject<Properties<Data>>

type ResultInput = z.input<Result> // => { field: unknown; field2: unknown; }

It probably should be typed as

type Properties<T> = Required<{
    [K in keyof T]: z.ZodType<T[K], T[K]>;
}>;

[oskarstucki]

Having the same issue.

[JMartinCollins]

+1

However, I still have another problem when using z.input, types are unknown:

---

Removing the type annotation from the generated schema and allowing it to infer results in the correct behavior:

z.input and z.output are useful for obvious reasons and differ from the old z.infer behavior. Simply removing the type annotations seems to me to be the correct course of action, no?