Métricas do repositório

Stars

108.860 estrelas (108.860 estrelas)

Métricas de merge de PR

Métricas PR pendentes (Métricas PR pendentes)

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