Category "type-constraints"

Typescript generic type constraint with conditional type, avoid circular type constraint

Suppose the following example class class X<T> { constructor(readonly t: Extract<'a' | 'b', T>) {} } The point is that the type function Extract