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

Commencez par examiner la syntaxe proposée A super Kitten et la discussion dans l’issue #13337, puisqu’aucun fichier d’implémentation ni test n’est identifié ici. Déterminez les changements nécessaires au niveau du langage et de la vérification des types, puis ajoutez une couverture montrant que les paramètres de type avec une borne inférieure sont compilés et se comportent comme décrit.