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

Comienza con los ejemplos de enum de la issue y aclara la semántica prevista de una restricción T extends enum, incluido qué tipos enum deberían aceptarse y qué significa la imposición de tipos. No se especifica ningún archivo fuente, punto de entrada ni prueba, por lo que el trabajo requiere localizar el manejo de las restricciones genéricas del compilador y añadir cobertura para el comportamiento propuesto.