Microsoft/TypeScript

Incorrect type inference for generic class in JavaScript

Open

#61.552 aberto em 5 de abr. de 2025

Ver no GitHub
 (0 comments) (0 reactions) (0 assignees)TypeScript (6.726 forks)batch import
BugDomain: check: Type InferenceHelp Wanted

Métricas do repositório

Stars
 (48.455 stars)
Métricas de merge de PR
 (Mesclagem média 6d 17h) (9 fundiu PRs em 30d)

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

Guia do colaborador

Direção de pesquisa
Investigue o verificador de tipos do TypeScript (provavelmente em src/compiler/checker.ts) para entender como os tipos genéricos são inferidos ao construir uma classe genérica dentro de seu próprio método. O problema indica que a variável de tipo T é incorretamente encapsulada quando a chamada do construtor ocorre dentro do método da classe C. Compare com o comportamento fora da classe para identificar a discrepância na resolução do tipo genérico.
Pilha de tecnologia
typescript
Domain
developer experience
Tipo Issue
Bug
DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.
2
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
1-3 horas
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
Recente
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Claro
Prerequisites
TypeScriptGit
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
75