How do I make custom parameters type safe in zod?

[Demianeen]

While trying to connect next-intl with zod, I was trying to augment the ZodCustomIssue interface from the Zod library to include types for i18n property within custom issue params for better autocomplete support in TypeScript. However, I'm encountering a TypeScript error stating that subsequent property declarations must have the same type.

For example, here I try to augment zod types:

// This part works fine
declare global {
  interface IntlMessages extends Messages {}
}

declare module 'zod' {
  // The error occurs here
  interface ZodCustomIssue {
    params?: { [k: string]: any } & { i18n: Messages }
  }
}

error:

Subsequent property declarations must have the same type. Property 'params' must be of type '{ [k: string]: any; } | undefined', but here has type '({ [k: string]: any; } & { i18n: Messages; }) | undefined'. ts(2717)

Is there a way to properly augment the ZodCustomIssue interface to include additional properties in params without encountering this TypeScript error?

For reference, type definition of ZodCustomIssue:

interface ZodCustomIssue {
  params?: { [k: string]: any }
}

environment:

• typescript: 5.5.4
• zod: ^3.23.8

[Demianeen]

Maybe someone had the same problem?