Microsoft/TypeScript

Incorrect type inference for generic class in JavaScript

Open

#61 552 ouverte le 5 avr. 2025

Voir sur GitHub
 (0 commentaires) (0 réactions) (0 assignés)TypeScript (6 726 forks)batch import
BugDomain: check: Type InferenceHelp Wanted

Métriques du dépôt

Stars
 (48 455 stars)
Métriques de merge PR
 (Merge moyen 6j 17h) (9 PRs mergées en 30 j)

Description

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[]} */ ([])); }

Guide contributeur

Direction de recherche
Examinez le vérificateur de types TypeScript (probablement dans src/compiler/checker.ts) pour comprendre comment les types génériques sont inférés lors de la construction d'une classe générique à l'intérieur de sa propre méthode. Le problème indique que la variable de type T est incorrectement encapsulée lorsque l'appel du constructeur se produit à l'intérieur de la méthode de la classe C. Comparez avec le comportement en dehors de la classe pour identifier l'écart dans la résolution du type générique.
Stack technique
typescript
Domaine
developer experience
Type d'issue
Bug
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
2
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
1-3 heures
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Récente
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
TypeScriptGit
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
75