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

Bắt đầu với các ví dụ enum của issue và làm rõ ngữ nghĩa dự kiến của một ràng buộc T extends enum, bao gồm những kiểu enum nào nên được chấp nhận và việc áp đặt kiểu có nghĩa là gì. Không có tệp nguồn, điểm vào hoặc bài kiểm thử nào được nêu, vì vậy công việc yêu cầu xác định phần xử lý các ràng buộc generic của trình biên dịch và bổ sung độ bao phủ cho hành vi được đề xuất.