z.record makes all his attributes optional

[Andyloz]

Look at this:

It should warn me about foo being missing, but isn't because z.record produces this: Partial<Record<"foo" | "bar", number>>

Is that intentional because of some reason i don't understand? I read all the docs and I couldn't find anything.

Thank you ❤️

[JacobWeisenburger]

#2069

[Andyloz]

@JacobWeisenburger
Well, I have seen that issue, but i don't touch anything related to z.brand.

I made a little research and I've found:

zod/src/types.ts

Lines 3318 to 3328 in 502384e

	export type RecordType<K extends string | number | symbol, V> = [
	string
	] extends [K]
	? Record<K, V>
	: [number] extends [K]
	? Record<K, V>
	: [symbol] extends [K]
	? Record<K, V>
	: [BRAND<string | number | symbol>] extends [K]
	? Record<K, V>
	: Partial<Record<K, V>>;

If I remove the Partial, the properties become required as I need.

[stale]

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.

[lunelson]

I've offered a workaround using z.custom here: #2623 (comment)