Zod infers undefined field as optional

[kana-sama]

Given:

zod 3.21.4

({ }) satisfies { x: undefined };   // 1
({ }) satisfies z.infer<typeof x>;  // 2
const x = z.object({ x: z.undefined() });

Expected:

• 1 should not typecheck because field is not optional
• 2 should not typecheck as well because x models the same type

Actual:

• 1 typechecks (and it is correct)
• 2 does not typecheck (zod for unknown reason makes field optional)

It is not the problem with strict: true in tsconfig.

[dplantera]

#2464

sadly this is already known and unresolved.

[maurer2]

Does exactOptionalPropertyTypes in the compiler options in tsconfig.json have any effect on this, e.g.?

{
  "compilerOptions": {
    "exactOptionalPropertyTypes": true
  }
}

Cheers