Type guard does not narrow the same as if-statement

Ouverte
#33,119 2 commentaires 0 réactions 0 personnes assignées Voir sur GitHub

Personne n'a encore pris cette issue.

Évaluation

Difficulté
5/5
Temps estimé
Plus d'une semaine
Accessibilité débutants
25/100
Type d'issue
Bug
Clarté
Clairement spécifiée
Activité
À l'abandon
Stack technique
typescript
Domaine
compilers

Piste de recherche

Commencez par la reproduction fournie dans Playground et comparez les vérifications directes de enum avec le garde de type isE1 défini par l’utilisateur. Étudiez le narrowing par le flux de contrôle de TypeScript pour les unions discriminées et vérifiez le résultat attendu : le troisième exemple devrait réduire obj.data.object.x à "e1". Ajoutez ou mettez à jour un test de régression si l’emplacement pertinent des tests du compilateur est identifié.

Rédigé par le modèle d'indexation à partir du texte de l'issue.

Description

Awaiting More Feedback Suggestion

TypeScript Version: 3.5.1

Search Terms:

  • Type guard function
  • If-statement guard
  • Narrow
  • Discriminated union

Code

enum E1 {
    element0 = "element0",
    element1 = "element1",
    element2 = "element2",
}
enum E2 {
    element3 = "element3",
    element4 = "element4",
    element5 = "element5",
}

declare const obj : (
    | {
        type : E1,
        data : {
            object : {
                x : "e1"
            }
        }
    }
    | {
        type : E2,
        data : {
            object : {
                x : "e2"
            }
        }
    }
);

if (obj.type == E1.element0) {
    //OK
    const type : "element0" = obj.type;
    //OK
    const x : "e1" = obj.data.object.x;
}

if (
    obj.type == E1.element0 ||
    obj.type == E1.element1 ||
    obj.type == E1.element2
) {
    //OK
    const type : "element0"|"element1"|"element2" = obj.type;
    //OK
    const x : "e1" = obj.data.object.x;
}

declare function isE1 (mixed : unknown) : mixed is E1;

if (isE1(obj.type)) {
    //OK
    const type : "element0"|"element1"|"element2" = obj.type;
    //Expected : OK
    //Actual : Error; Type '"e1" | "e2"' is not assignable to type '"e1"'.
    const x : "e1" = obj.data.object.x;
}

Expected behavior:

2nd and 3rd examples should both work.

Actual behavior:

2nd example works.
3rd example does not work.

Playground Link:

Playground

Related Issues:

Langage dominant
Go
Étoiles
111k
Forks
14.4k
Merge moyen
1 j 19 h
PR mergées (30 j)
117

Guide de contribution

Ouvrir le guide de contribution

Par où commencer

  1. Lisez l'issue en entier, puis le guide de contribution du projet.
  2. Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
  3. Forkez le dépôt et travaillez sur une branche.
  4. Ouvrez une pull request qui référence le numéro de l'issue.

Autres issues de microsoft/TypeScript

Toutes les issues de microsoft/TypeScript

Issues similaires

Plus d'issues Go

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.