microsoft / microsoft/TypeScript
Union properties like `0 | number` or `"" | string` should be discriminants in truthiness checks
Ouverte
Personne n'a encore pris cette issue.
Bug
Domain: check: Control Flow
- Langage dominant
- Go
- Étoiles
- 111k
- Forks
- 14.3k
- Merge moyen
- 2 j 4 h
- PR mergées (30 j)
- 132
Description
TypeScript Version: 3.7.2
Code
type A = { readonly [0]: 0 }
type B = { [0]: number }
declare var x: A | B;
if (x[0]) x[0] = 2;
Expected behavior:
No error will be reported
Actual behavior:
error TS2540: Cannot assign to '[0]' because it is a read-only property.
4 if (x[0]) x[0] = 2;
~
Guide de contribution
Ouvrir le guide de contribution
Par où commencer
- Lisez l'issue en entier, puis le guide de contribution du projet.
- Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
- Forkez le dépôt et travaillez sur une branche.
- Ouvrez une pull request qui référence le numéro de l'issue.
Piste de recherche
Commencez par la reproduction avec TypeScript 3.7.2 dans l’issue et suivez le narrowing par truthiness pour les types de propriété d’union 0 | number et "" | string. C’est terminé lorsque l’affectation montrée ne produit aucune erreur et qu’un test de régression couvre le comportement.
Rédigé par le modèle d'indexation à partir du texte de l'issue.
Évaluation
- Stack technique
- typescript
- Domaine
- compilers
- Type d'issue
- Bug
- Difficulté
- 4/5
- Temps estimé
- 3-5 jours
- Activité
- À l'abandon
- Clarté
- Plutôt claire
- Accessibilité débutants
- 42/100