Microsoft/TypeScript

Strange boolean-discriminant narrowing with strictNullChecks off

Open

#10.564 aperta il 26 ago 2016

Vedi su GitHub
 (7 commenti) (10 reazioni) (0 assegnatari)TypeScript (6726 fork)batch import
BugDomain: check: Control FlowEffort: ModerateHelp Wanted

Metriche repository

Star
 (48.455 star)
Metriche merge PR
 (Merge medio 6g 17h) (9 PR mergiate in 30 g)

Descrizione

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.

Guida contributor

Direzione di ricerca
Ispeziona la logica di restringimento del tipo nel checker quando strictNullChecks è disattivato, concentrandoti su come il restringimento truthy/falsy interagisce con le proprietà discriminanti booleane. Guarda come il flusso di controllo analizza `res.success` nel ramo falso.
Tech stack
typescript
Dominio
devtools
Tipo issue
Bug
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
2
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-3 ore
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Datata
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
GitTypeScript
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
70