Treatment of recursive tuples that utilize type spread.

TypeScript Version: 4.0.2

Search Terms: spread tuple in recursive tuple type

Code

I'm trying to model a type that could evaluate to any of the following:

["list", "of", "Post"];
["list", "of", "list", "of", "Post"];
["list", "of", "list", "of", "list", "of", "Post"];
// ... could go on

The following approach produces a circularity error, even though tuple types are circularity-capable since 3.7 :/

type Nested = ["list", "of", ...(["Post"] | Nested)];

Expected behavior:

To be able to type-check the following (for example):

const nested: Nested = ["list", "of", "list", "of", "Post"];

Actual behavior:

Circularity error.

Any help would be greatly appreciated! Thank you!

Aucun fichier source ni test n’est indiqué. Commencez par reproduire l’erreur de circularité avec l’exemple fourni de tuple récursif de TypeScript 4.0.2, puis suivez le traitement des types de tuples récursifs et des type spreads par le type-checker. La tâche est terminée lorsque la déclaration d’exemple et la valeur imbriquée sont validées par le type-checker sans l’erreur de circularité, et qu’une couverture a été ajoutée dans la zone de tests appropriée du compilateur.