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!

Non viene indicato alcun file sorgente o test. Inizia riproducendo l’errore di circolarità con l’esempio fornito di tupla ricorsiva di TypeScript 4.0.2, quindi traccia la gestione dei tipi tupla ricorsivi e dei type spread da parte del type-checker. Il lavoro è completato quando la dichiarazione di esempio e il valore annidato vengono verificati dal punto di vista dei tipi senza l’errore di circolarità e viene aggiunta la coverage nell’area di test appropriata del compilatore.