discriminatedUnion with recursive type results in ts error

[namjul]

I have a situation where I want to use a recursive type inside discriminated union type.

It results into this error:

 Argument of type '[ZodObject<{ type: ZodLiteral<"a">; a: ZodString; }, "strip", ZodTypeAny, { type: "a"; a: string; }, { type: "a"
 ; a: string; }>, ZodObject<{ type: ZodLiteral<...>; b: ZodString; }, "strip", ZodTypeAny, { ...; }, { ...; }>, ZodType<...>]' is n
 ot assignable to parameter of type '[ZodDiscriminatedUnionOption<"type", Primitive>, ZodDiscriminatedUnionOption<"type", Primitive
 >, ...ZodDiscriminatedUnionOption<...>[]]'.
   Type at position 2 in source is not compatible with type at position 2 in target.
     Type 'ZodType<Category, ZodTypeDef, Category>' is missing the following properties from type 'ZodObject<{ type: ZodLiteral<Pri
 mitive>; } & ZodRawShape, any, any, { [x: string]: any; }, { [x: string]: any; }>': _cached, _getCached, shape, strict, and 14 mor
 e.

There seems to be a conflict between ZodType and ZodDiscriminatedUnionOption.

Here the example I used:

interface Category {
  type: "c";
  c: Category[];
}

// cast to z.ZodType<Category>
const category: z.ZodType<Category> = z.lazy(() =>
  z.object({
    type: z.literal("c"),
    c: z.array(category),
  })
);

const item = z
  .discriminatedUnion("type", [
    z.object({ type: z.literal("a"), a: z.string() }),
    z.object({ type: z.literal("b"), b: z.string() }),
    category,
  ])
  .parse({ type: "a", a: "abc" });

[itsgiacoliketaco]

Hi there, see my suggestion in #1504 for a solution here.

[roblabat]

I've got this openned PR #1290 fixing this issue and waiting for feed back or merge.

[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.