undefined / null get accepted as value for conditional type even if it shouldn't

Question

Should't this throw a compiler error?

type Test<T extends number | string> = { v: T extends number ? true : false }
const test: Test<1> = { v: undefined }

Am I missing something?

Thanks

Answer 1

It does if you have the strictNullChecks flag enabled in your tsconfig.json.

Playground