Type coming through as optional when using z.infer<>

[miketamis]

The types are coming through as optional when z.infered

[colelawrence]

I saw something similar using zod@1.11.13 and typescript@4.2.4 with strictNullChecks: true

We also use project references. When invoking tsc --build the types were correct, so we "restarted typescript server" in VS Code and the peculiar issue went away. I'll report back if I find something reproducible.

[Everspace]

I am also getting this with zod@3.0.0-alpha.33 and typescript@4.2.3. Restarting the typescript server did not help.

However adding "include": ["src/**/*"] made this go away which feels odd.

[colinhacks]

If you don't have "strictNullChecks": true is your tsconfig compilerOptions or if (for some reason) you're looking a file that isn't covered by your "include", then TypeScript uses the default tsconfig values, which aren't strict. That's when you'll see unexpected optionals in the inferred types.