microsoft / microsoft/TypeScript
Make the type guarding on 'typeof' be transitive.
Personne n'a encore pris cette issue.
- Langage dominant
- Go
- Étoiles
- 111k
- Forks
- 14.3k
- Merge moyen
- 2 j 4 h
- PR mergées (30 j)
- 132
Description
TypeScript Version: 2.7.0
Search Terms:
typeof + transitive + type guard + typeof same
Code
function test(a: string | number, b: string | number) {
if (typeof a === typeof b && typeof a === 'string') return b.length
}
Expected behavior:
variable b be asserted as string type.
Actual behavior:
TS report: Property 'length' does not exist on type 'string | number'. at b.length
Playground Link:
Playground
Related Issues:
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 en TypeScript 2.7 dans le lien Playground de l'issue et vérifiez l'erreur signalée pour b.length. Localisez ensuite le point d'entrée de la vérification des types responsable du narrowing par typeof et déterminez quels tests couvrent les type guards associés. La tâche est terminée lorsque la fonction affichée accepte b.length quand les deux opérandes sont narrowed en string.
Rédigé par le modèle d'indexation à partir du texte de l'issue.
Évaluation
- Stack technique
- typescript
- Domaine
- compilers
- Type d'issue
- Fonctionnalité
- Difficulté
- 5/5
- Temps estimé
- Plus d'une semaine
- Activité
- À l'abandon
- Clarté
- Plutôt claire
- Accessibilité débutants
- 25/100