Microsoft/TypeScript

Strange boolean-discriminant narrowing with strictNullChecks off

Open

#10.564 aberto em 26 de ago. de 2016

Ver no GitHub
 (7 comments) (10 reactions) (0 assignees)TypeScript (6.726 forks)batch import
BugDomain: check: Control FlowEffort: ModerateHelp 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

TypeScript Version: nightly (2.1.0-dev.20160826)

Code

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
}

Expected behavior: All three cases should behave the same.

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