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

class E<E> {
    e?: E;
}

class A<I> extends E<I>{
    field: number = 0;
}

class A1<I> extends A<I> {
    field1?: number;
}

class A2<I> extends A<I> {
    field1: number = 1;
}

function f<I>(a: A<number>) {
    if (a instanceof A1) {
        a.field1;
    }
    if (a instanceof A2) {
        a.field1;
    }
}

Guia do colaborador

Direção de pesquisa

Investigue a lógica de estreitamento de tipos do TypeScript ao usar instanceof em classes genéricas com campos opcionais. Analise o tratamento de tipos condicionais e herança de classe pelo verificador de tipos em arquivos como src/compiler/checker.ts. O link do playground mostra o problema: o estreitamento falha para A1, mas funciona para A2, provavelmente devido à presença de campos opcionais. Examine como o verificador de tipos resolve o tipo quando a classe base tem um campo opcional e a classe derivada adiciona outro campo opcional.

Pilha de tecnologia

typescript

Domain

tooling

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.

3

Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.

Meio dia

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

TypeScriptTypeScript compiler internals

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

30