Microsoft/TypeScript
Auf GitHub ansehenNo type inferrence of callback arguments inside a tuple union type
Open
#55.632 geöffnet am 5. Sept. 2023
BugDomain: check: Type InferenceHelp Wanted
Repository-Metriken
- Stars
- (48.455 Stars)
- PR-Merge-Metriken
- (Durchschn. Merge 6T 17h) (9 gemergte PRs in 30 T)
Beschreibung
🔎 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