Microsoft/TypeScript

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

Open

#61.091 geöffnet am 31. Jan. 2025

Auf GitHub ansehen
 (0 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)TypeScript (6.726 Forks)batch import
Domain: Index TypesHelp WantedPossible Improvement

Repository-Metriken

Stars
 (48.455 Stars)
PR-Merge-Metriken
 (Durchschn. Merge 6T 17h) (9 gemergte PRs in 30 T)

Beschreibung

🔎 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

Contributor Guide

Research-Richtung
Untersuchen Sie, wie der TypeScript Compiler Index Typen mit Schnittmengen (Intersection Types), die NoInfer enthalten, auflöst. Das Problem zeigt, dass `keyof (NoInfer<{ foo: string }> & {})` fälschlicherweise verzögert wird, während die Version ohne NoInfer funktioniert. Sehen Sie sich die Typlösungslogik in `src/compiler/checker.ts` im Zusammenhang mit der Behandlung von Schnittmengentypen und dem NoInfer Hilfsmittel an. Der Playground Link bietet eine minimale Reproduktion. Prüfen Sie, ob die Verzögerung dadurch verursacht wird, wie NoInfer mit der Auflösung von Alias Typen interagiert.
Tech Stack
typescript
Domain
developer experiencetooling
Issue Type
Fehler
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
3
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
1-2 Tage
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Frisch
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Klar
Voraussetzungen
TypeScriptcompiler codebase
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
40