Strange boolean-discriminant narrowing with strictNullChecks off

Métriques du dépôt

Stars

48 455 stars (48 455 stars)

Métriques de merge PR

Merge moyen 6j 17h (Merge moyen 6j 17h)9 PRs mergées en 30 j (9 PRs mergées en 30 j)

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
}

Guide contributeur

Direction de recherche

Inspectez la logique de rétrécissement de type dans le vérificateur lorsque strictNullChecks est désactivé, en vous concentrant sur la façon dont le rétrécissement truthy/falsy interagit avec les propriétés discriminantes booléennes. Regardez comment le flux de contrôle analyse `res.success` dans la branche fausse.

Stack technique

typescript

Domaine

devtools

Type d'issue

Bug

DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.

2

Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.

1-3 heures

Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.

Ancienne

ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.

Claire

Prérequis

GitTypeScript

Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.

70