Microsoft/TypeScript
View on GitHubIntelliSense autocomplete doesn't provide suggestions for contextual types in nested functions
Open
#50,478 opened on Aug 26, 2022
Experience EnhancementHelp WantedSuggestion
Repository metrics
- Stars
- (48,455 stars)
- PR merge metrics
- (Avg merge 6d 17h) (9 merged PRs in 30d)
Description
Bug Report
🔎 Search Terms
intellisense autocomplete nested
🕗 Version & Regression Information
- This is the behavior in every version I tried, and I reviewed the FAQ for entries about intellisense.
⏯ Playground Link
Playground link with relevant code
💻 Code
// EXAMPLE
declare function create<T extends 'foo' | 'bar'>(value: T): T;
declare function a<T>(value: T): T;
declare function b<T>(value: T): T;
// autocomplete works
create(a('foo'));
// autocomplete doesn't work
create(a(b('foo')));
// PARTIAL WORKAROUND
type NoInfer<T> = T extends infer U ? U : never;
declare function a2<T>(value: NoInfer<T>): T;
// autocomplete works but type becomes unknown
create(a2(b('foo')));
🙁 Actual behavior
When functions are nested the types flow through and are checked correctly but autocomplete doesn't provide suggestions.
🙂 Expected behavior
I would like autocomplete to provide suggestions for arguments in nested functions, based on the underlying return type. My actual use case involves more complex functions that are used to build nested objects.