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!

Es wird keine Quelldatei oder kein Test genannt. Beginne damit, den Zirkularitätsfehler anhand des bereitgestellten rekursiven Tupelbeispiels für TypeScript 4.0.2 zu reproduzieren, und verfolge anschließend die Behandlung rekursiver Tupeltypen und von Type-Spreads durch den type-checker. Die Aufgabe ist abgeschlossen, wenn die Beispield deklaration und der verschachtelte Wert ohne den Zirkularitätsfehler typgeprüft werden und im entsprechenden Compiler-Testbereich eine Abdeckung hinzugefügt wurde.