Microsoft/TypeScript

typeof Foo['bar'] has strange precedence

Ouverte

#19 707 ouverte le 3 nov. 2017

Voir sur GitHubGuide contributeur
 (6 commentaires) (0 réaction) (0 personne assignée)TypeScript (13 395 forks)batch import
Effort: ModerateExperimentation NeededHelp WantedRevisitSuggestion

Métriques du dépôt

Stars
 (108 860 étoiles)
Métriques de merge PR
 (Métriques PR en attente)

Description

Type queries combined with indexed access types currently produce a parse tree that is surprising in its behavior.

One would think that typeof Foo['bar'] would be parsed as typeof (Foo['bar']), which would really be something like typeof Foo.bar.

That's not the case. It's actually parsed as (typeof Foo)['bar'].

Conveniently, it seems that semantically (when type-checking) these are identical, but it seems strange for syntactic consumers. Do we believe this is currently working as intended?

Guide contributeur

Direction de recherche
Étudiez l'implémentation de l'analyseur dans src/compiler/parser.ts pour voir comment les types typeof et d'accès indexé sont analysés. Examinez les règles de grammaire pertinentes et vérifiez si le comportement actuel est délibéré. Sinon, proposez une correction pour modifier l'arbre d'analyse. De plus, vérifiez si des tests existants couvrent cette précédence.
Stack technique
typescript
Domaine
tooling
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.
3
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.
Active
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
TypeScript
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
40