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

リンクされた TypeScript Playground から始め、issue の Test エイリアスと Test2 エイリアスを再現します。NoInfer を含む intersection に対して type checker が keyof をどのように処理するかを追跡します。Test が遅延された index type ではなくリテラル "foo" に解決され、Test2 と一致すれば完了です。