How to constrain generic to a union?

user_1543574 0
Viewed 89

Does anybody know how to express: "constrain the generic so it must be a union with a certain type (in this case: null)"?

type Test<value_T extends Enforce_null_union>

Test<number | null> // Valid
Test<string | null> // Valid
Test<number> // Invalid, must be a union containing `null`
Test<number> // Invalid, must be a union containing `null`
union-types typescript-generics typescript
2 Answers

This seems to work for your case: type Test<T extends (U extends null ? T : unknown), U = T extends null ? T:never>={}

user_44348500

With a similar idea than Nadia's answer, this should also work (playground):

type Test<T extends (null extends T ? unknown : never)> = T
user_1880310
Related