Type inference incorrectly sets all fields as optional by default

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.

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

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