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!

No se indica ningún archivo fuente ni ninguna prueba. Empieza reproduciendo el error de circularidad con el ejemplo de tupla recursiva proporcionado de TypeScript 4.0.2 y, después, sigue el tratamiento de los tipos de tupla recursivos y de los type spreads por parte del type-checker. La tarea estará terminada cuando la declaración de ejemplo y el valor anidado pasen la comprobación de tipos sin el error de circularidad, y se haya añadido cobertura en el área de pruebas del compilador correspondiente.