Microsoft/TypeScript
Ver no GitHubIndex type for an intersected `NoInfer` can get sometimes incorrectly deferred
Open
#61.091 aberto em 31 de jan. de 2025
Domain: Index TypesHelp WantedPossible Improvement
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
noinfer intersection index type keyof deferred deferral
🕗 Version & Regression Information
- This is the behavior in every version I tried
⏯ Playground Link
💻 Code
type Test = keyof (NoInfer<{ foo: string }> & {});
// ^? type Test = keyof (NoInfer<{ foo: string; }> & {})
type Test2 = keyof ({ foo: string } & {});
// ^? type Test2 = "foo"
🙁 Actual behavior
Test is a deferred index type
🙂 Expected behavior
Test shouldn't be a deferred index type but a "foo" literal, just like Test2.
Additional information about the issue
No response