Allow "T extends enum" generic constraint

TypeScript has a discrete enum type that allows various compile-time checks and constraints to be enforced when using such types. It would be extremely useful to allow generic constraints to be limited to enum types - currently the only way to do this is via T extends string | number which neither conveys the intent of the programmer, nor imposes the requisite type enforcement.

export enum StandardSortOrder {
    Default,
    Most,
    Least
}

export enum AlternativeSortOrder {
    Default,
    High,
    Medium,
    Low
}

export interface IThingThatUsesASortOrder<T extends enum> { // doesn't compile
    sortOrder: T;
}

Beginnen Sie mit den Enum-Beispielen des Issues und klären Sie die beabsichtigte Semantik einer T extends enum-Einschränkung, einschließlich der Frage, welche Enum-Typen akzeptiert werden sollten und was Typdurchsetzung bedeutet. Da keine Quelldatei, kein Einstiegspunkt und kein Test genannt wird, erfordert die Arbeit, die Behandlung generischer Einschränkungen im Compiler zu finden und Testabdeckung für das vorgeschlagene Verhalten hinzuzufügen.