Negated types

Personne n'a encore pris cette issue.

Sometimes it is desired to forbid certain types from being considered.

Example: `JSON.stringify(function() {});` doesn't make sense and the chance is high it's written like this by mistake. With negated types we could eliminate a chance of it.

``` typescript
type Serializable = any ~ Function; // or simply ~ Function
declare interface JSON {
stringify(value: Serializable): string;
}
```

Another example

``` typescript

export NonIdentifierExpression = ts.Expression ~ ts.Identifier

```

Aucun fichier, test ou point d’entrée n’est indiqué. Commencez par examiner les exemples proposés de Serializable et NonIdentifierExpression, puis déterminez le comportement requis du système de types et ses effets sur l’assignabilité ; le travail est terminé lorsque les types négatifs sont pris en charge de manière cohérente et couverts par des tests appropriés.

Rédigé par le modèle d'indexation à partir du texte de l'issue.