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

Inizia con il TypeScript Playground collegato e riproduci gli alias Test e Test2 dell’issue. Traccia come il type checker gestisce keyof su un’intersezione contenente NoInfer; il lavoro è completato quando Test si risolve nel literal "foo" invece che in un tipo indice differito, in modo da corrispondere a Test2.