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).

まず、提案されている A super Kitten 構文と issue #13337 の議論を確認してください。ここでは実装ファイルやテストが特定されていないためです。必要な言語および型チェックの変更を判断し、下限型パラメーターがコンパイルされ、説明どおりに動作することを示すカバレッジを追加してください。