Allow omission of generic type if its equal to the default type

Search Terms

generic, default, extends, equals, =

Suggestion

Allow the syntax extends = T in generics definition in place of extends T = T.

Currently

class Foo <T extends any = any> {}

Suggestion*

class Foo <T extends= any> {}

Use Cases

The problem of having to write <T extends any = any> revealed itself when I had a bit more complex type looking like keyof NetworkTransportProtocol that looked then somehow like this:

class Foo<T extends keyof system.NetworkTransportProtocol = keyof system.NetworkTransportProtocol> {}

which just was a lot of duplicated text.

class Foo<T extends= keyof system.NetworkTransportProtocol> {}

by reducing the duplicate information the whole syntax becomes better to read.

While I did focus on the default-case for class-generics. I believe this could also help with other definitions:

function foo <T extends=any>(bar: T) {}

Checklist

My suggestion meets these guidelines:

• This wouldn't be a breaking change in existing TypeScript/JavaScript code
• This wouldn't change the runtime behavior of existing JavaScript code
• This could be implemented without emitting different JS based on the types of the expressions
• This isn't a runtime feature (e.g. library functionality, non-ECMAScript syntax with JavaScript output, etc.)
• This feature would agree with the rest of TypeScript's Design Goals.

L’issue ne nomme aucun fichier d’implémentation ni test ; commencez par localiser la grammaire et les tests de TypeScript pour les contraintes génériques et les types par défaut. Comparez la syntaxe extends= proposée pour les génériques de classes et de fonctions, puis déterminez le comportement requis du parser et de la vérification des types. Le travail sera considéré comme terminé lorsqu’une conception acceptée et une couverture de tests réussie pour la syntaxe proposée seront disponibles.