Непустой и не неопределенный тип в потоке

Question

Поток определяет так называемый "Maybe types". То есть ?string аналогичен string | null | void (void - тип стоимости undefined).

Есть ли что-то вроде общего типа, который может быть любого значения, но null и undefined? В основном что-то вроде $Diff<$Diff<any, null>, void>, если оператор $Diff смог работать с не-объектными типами.

Answer 1

Для этого нет какого-либо «магического» типа, но что-то вроде этого должно работать: string | number | boolean | {} | []