Microsoft/TypeScript
Ver no GitHubNo type inferrence of callback arguments inside a tuple union type
Open
#55.632 aberto em 5 de set. de 2023
BugDomain: check: Type InferenceHelp Wanted
Métricas do repositório
- Stars
- (48.455 stars)
- Métricas de merge de PR
- (Mesclagem média 6d 17h) (9 fundiu PRs em 30d)
Description
🔎 Search Terms
- discriminated union inference
- union argument inference
🕗 Version & Regression Information
- This is a compilation error in
tsserver 3.3.2
⏯ Playground Link
💻 Code
type InferArg =
| [1, (a: number) => void]
| [2, (b: string) => void];
const arg: InferArg = [1, (a) => { }];
🙁 Actual behavior
I get a compilation error:
Parameter 'a' implicitly has an 'any' type.(7006)
🙂 Expected behavior
a should be inferred to be a number because I already passed 1 as the first tuple element. Type inference should be identical to this code:
type InferArg = [1, (a: number) => void];
const arg: InferArg = [1, (a) => { }];
Additional information about the issue
No response