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;
}

Inizia con gli esempi di enum dell’issue e chiarisci la semantica prevista di un vincolo T extends enum, incluso quali tipi enum dovrebbero essere accettati e cosa significa l’imposizione dei tipi. Non sono indicati file sorgente, entry point o test, quindi il lavoro richiede di individuare la gestione dei vincoli generici del compilatore e aggiungere la copertura per il comportamento proposto.