Index type for an intersected `NoInfer` can get sometimes incorrectly deferred

🔎 Search Terms

noinfer intersection index type keyof deferred deferral

🕗 Version & Regression Information

• This is the behavior in every version I tried

⏯ Playground Link

https://www.typescriptlang.org/play/?ts=5.8.0-dev.20250131#code/C4TwDgpgBAKhDOwoF4oGsIgPYDMoAoA5LASQDscIAnAHgG8ocssAuKRKgSzIHMoBfAHxQAZFDr8AlAG4AUAHp5UZQD0A-LNCRYCYACYU6TLgIMmrdsC68Bo8VLmLlUdbKA

💻 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

Beginne mit dem verlinkten TypeScript Playground und reproduziere die Aliase Test und Test2 aus dem Issue. Verfolge, wie der Type Checker keyof über einer Intersection behandelt, die NoInfer enthält; abgeschlossen ist die Aufgabe, wenn Test zum Literal "foo" statt zu einem zurückgestellten Index-Typ aufgelöst wird und damit mit Test2 übereinstimmt.