brand() is not supported in z.function().args()

[CivilTT]

I want to use a branded type in a function's args.

Example:

const Test = z
  .function()
  .args(
    z.string().brand('BrandedString'),
    z.string()
  )
  .returns(z.void());
type Test = z.infer<typeof test>;
// -> (args_0: string, args_1: string, ...args: unknown[]) => void

// But Zod should interpret this type as follows
// -> (args_0: string & z.BRAND<"BrandedString">, args_1: string, ...args: unknown[]) => void

In the following code, I am encountering the error

const Branded = z.string().brand('BrandedString')
type Branded = z.infer<typeof Branded>;

const Test = z
  .function()
  .args(Branded, z.string())
  .returns(z.void());
type Test = z.infer<typeof test>;

const funcs: { sample: Test } = {
  sample: (a: Branded, b: string) => {}
  ^^^^^^
}
// -> Type '(a: Branded, b: string) => void' is not assignable to type '(args_0: string, args_1: string, ...args: unknown[]) => void'.
// -> ...Type 'string' is not assignable to type 'BRAND<"BrandedString">' ts(2322)

I want to be fixed this bug, but if there is a reason for this spec, I would like to know why and what the best practice is.

[anushkasomani]

I’d like to work on this issue.Can I be assigned to this issue ?