Microsoft/TypeScript
ts2556 is too restrictive when generics are involved
Aberta
#57.322 aberto em 7 de fev. de 2024
Domain: check: Type InferenceHelp WantedPossible Improvement
Métricas do repositório
- Stars
- (108.860 estrelas)
- Métricas de merge de PR
- (Métricas PR pendentes)
Description
🔎 Search Terms
"generic", "tuple", "spread", "rest", "ts2556", "a spread argument must either have a tuple type or be passed to a rest parameter"
🕗 Version & Regression Information
- This is the behavior in every version I tried, and I reviewed the FAQ for entries about spreading into argument lists
⏯ Playground Link
💻 Code
declare const f: () => void
declare const x: readonly []
f(...x) // works
const test = <T extends readonly []>(x: T) =>
f(...x) // does not work
🙁 Actual behavior
Attempting to spread a generically-typed value whose constraint guarantees tuple-ness into a compatible argument list is forbidden.
🙂 Expected behavior
I should be allowed to do this.
Additional information about the issue
Possibly-related issues: