Enable type parameter lower-bound syntax

TypeScript Version: 2.1.1

Code

class Animal {}
class Cat extends Animal {}
class Kitten extends Cat{}

function foo<A super Kitten>(a: A) { /* */ }

Expected behavior:
The type parameter A has the type Kitten as lower-bound.

Actual behavior:
Compilation failure. The syntax is unsupported.

Discussion:
The upper-bound counterpart of the failed code works fine:

class Animal {}
class Cat extends Animal {}
class Kitten extends Cat{}

function foo<A extends Animal>(a: A) { /* */ }

People in issue #13337 have suggested to use

function foo <X extends Y, Y>(y: Y) { /* */ }

to lower-bound Y with X. But this does not cover the case where X is an actual type (instead of a type parameter).

Bắt đầu bằng cách xem xét cú pháp A super Kitten được đề xuất và phần thảo luận trong issue #13337, vì ở đây không xác định tệp triển khai hoặc bài kiểm thử nào. Xác định các thay đổi cần thiết đối với ngôn ngữ và việc kiểm tra kiểu, sau đó bổ sung độ bao phủ cho thấy các tham số kiểu có cận dưới biên dịch được và hoạt động như mô tả.