Microsoft/TypeScript
Vedi su GitHubNo type inferrence of callback arguments inside a tuple union type
Open
#55.632 aperta il 5 set 2023
BugDomain: check: Type InferenceHelp Wanted
Metriche repository
- Star
- (48.455 star)
- Metriche merge PR
- (Merge medio 6g 17h) (9 PR mergiate in 30 g)
Descrizione
🔎 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