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

Inizia esaminando la sintassi proposta A super Kitten e la discussione nell’issue #13337, poiché qui non sono identificati file di implementazione né test. Determina le modifiche necessarie al linguaggio e al controllo dei tipi, quindi aggiungi una copertura che dimostri che i parametri di tipo con limite inferiore vengono compilati e si comportano come descritto.