Repository navigation
Treatment of recursive tuples that utilize type spread. #40229
Description
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 onThe 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!
Activity
harrysolovay commentedon Aug 25, 2020
Another important capability is genericizing the "
Nested" type, such that the following would also be valid:RyanCavanaugh commentedon Aug 25, 2020
Anders Hejlsberg (@ahejlsberg) any recommendations?
gwillen commentedon Jul 23, 2023
I'm running into this, and I have a nice minimal example that shows a case that seems easy to think about:
Obviously this example isn't a sensible thing to write in real code, but I think it clearly demonstrates the issue with the spread operator causing the typechecker to somehow "forget" that the recursion is actually fine.
For reference, my actual use case type looks something like:
I'm trying to type something that I get from the node-imap library; in the library's type stubs it looks like they just spell it
any[].