As a developer I'd like to be able to assert that a union type is a subset of another. A simple "Extends" utility type as suggested here should work: ``` type Extends<T, U extends T> = U; ```
As a developer I'd like to be able to assert that a union type is a subset of another. A simple "Extends" utility type as suggested here should work: