Strange boolean-discriminant narrowing with strictNullChecks off

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

type Result = { success: true }
            | { success: false, error: string }

function handleError(res: Result) {
    if (res.success === true) {
        return;
    }

    res.error; // OK
}

function handleError2(res: Result) {
    if (res.success !== false) {
        return;
    }

    res.error; // OK
}

function handleError3(res: Result) {
    if (res.success) {
        return;
    }

    res.error; // Property 'error' does not exist on type 'Result'
               // but should be OK
}

Guia do colaborador

Direção de pesquisa

Inspecione a lógica de estreitamento de tipo no verificador quando strictNullChecks está desativado, focando em como o estreitamento truthy/falsy interage com propriedades discriminantes booleanas. Veja como o fluxo de controle analisa `res.success` no ramo falso.

Pilha de tecnologia

typescript

Domain

devtools

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.

Antigo

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.

70