Microsoft/TypeScript

Incorrect type inference for generic class in JavaScript

Open

#61.552 geöffnet am 5. Apr. 2025

Auf GitHub ansehen
 (0 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)TypeScript (6.726 Forks)batch import
BugDomain: check: Type InferenceHelp Wanted

Repository-Metriken

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

Beschreibung

Does this issue occur when all extensions are disabled?: Yes

  • VS Code Version: 1.99.0
  • OS Version: Windows 10 Home 22H2

Steps to Reproduce:

  1. Define a generic class as below: 
    /** @template T */
class C {
  /** @param {T} a */
  constructor(a) { }
  f() { const v = new C(/** @type {T[]} */ ([])); }
}
  2. The type of the variable v is incorrectly inferred to be C<T[][]>.

If the constructor call is outside of the class C<T> (as in the example below), the return type of the call is correctly inferred to be C<T[]>.

/** @template T */
class D {
  f() { const v = new C(/** @type {T[]} */ ([])); }
}
/** @template T; @param {C<T>} c */
const f = c => { const v = new C(/** @type {T[]} */ ([])); }

Contributor Guide

Research-Richtung
Untersuchen Sie den TypeScript Typ Prüfer (wahrscheinlich in src/compiler/checker.ts), um zu verstehen, wie generische Typen abgeleitet werden, wenn eine generische Klasse innerhalb ihrer eigenen Methode konstruiert wird. Das Problem zeigt, dass die Typvariable T fälschlicherweise umschlossen wird, wenn der Konstruktoraufruf innerhalb der Methode der Klasse C erfolgt. Vergleichen Sie mit dem Verhalten außerhalb der Klasse, um die Diskrepanz bei der Auflösung des generischen Typs zu identifizieren.
Tech Stack
typescript
Domain
developer experience
Issue Type
Fehler
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
2
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
1-3 Stunden
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
TypeScriptGit
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
75