Type inference incorrectly sets all fields as optional by default

[pierreis]

Zod version: 1.5.0
TS version: 3.8.3

The type inference does not seem to be working properly, making all values of objects to be optional by default.

Let me take this code derived from the readme:

import * as z from "zod";

const dogSchema = z.object({
  name: z.string(),
  neutered: z.boolean(),
});

type T = z.TypeOf<typeof dogSchema>;  // -> { name?: string, neutered?: boolean }

const dog: T = {};  // -> Compiles without error

The expected behavior would be a compilation error deriving from name and neutered to be required.

[colinhacks]

You have to use Zod with strict mode. This wasn't clear from the README - my bad. Just add "strict": true in your tsconfig's "compilerOptions" and it'll work properly.

[mkreuzmayr]

Also be sure to NOT set "strictNullChecks": false in your tsconfig.json, because this would also result in all properties being infered as optional.

[mihanizm56]

strict and strictNullChecks both true
tsc in the project is 4.5.2
node 14.18
gatsby 4
zod: 3.11.6

also all fields are optional

moreover - any primitive type and array of promite types work fine but not object

[scotttrinh]

@mihanizm56

Make sure your IDE or editor setup is properly getting your tsconfig.json, that's a common cause of that issue.

[bauti-defi]

strict and strictNullChecks both true
tsc in the project is 4.8.2
node 16.16.0
zod: 3.19.1

Using VScode. I have restarted the IDE multiple times. All my object field types are still being inferred as optional.

---

Edit: Seems to be VSCode problem...

[KevinEdry]

strict and strictNullChecks both true tsc in the project is 4.8.2 node 16.16.0 zod: 3.19.1

Using VScode. I have restarted the IDE multiple times. All my object field types are still being inferred as optional.

Edit: Seems to be VSCode problem...

how did you fix this?

edit:
I thinks adding this to my tsconfig.json did the trick:
"exactOptionalPropertyTypes": true,