Incorrect report of self-referencing type for static fields

Métricas do repositório

Stars

48.455 stars (48.455 stars)

Métricas de merge de PR

Mesclagem média 6d 17h (Mesclagem média 6d 17h)9 fundiu PRs em 30d (9 fundiu PRs em 30d)

Description

function id<T>(x: T): T {
  return x
}

const Foo = id(class {
  static readonly foo = id(42) // Error TS7022
})

const Ok = class {
  static readonly foo = id(42) // No error
}

Guia do colaborador

Direção de pesquisa

Investigue por que o tipo de `Foo` é incorretamente inferido como autorreferente ao usar `id(class {})`, mas não ao usar a classe diretamente. Examine a inferência de tipo para funções genéricas que encapsulam expressões de classe com campos estáticos. Veja o tratamento de "autorreferência" no verificador quando a classe é imediatamente passada para uma função genérica.

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.

Ativo

ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.

Claro

Prerequisites

GitTypeScript

Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.

75