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

issue の enum の例から始め、T extends enum 制約の意図されたセマンティクスを明確にしてください。これには、どの enum 型を受け入れるべきか、また型の強制が何を意味するのかを含みます。ソースファイル、エントリーポイント、テストのいずれも指定されていないため、この作業ではコンパイラーのジェネリック制約処理を見つけ、提案された動作のカバレッジを追加する必要があります。