Microsoft/TypeScript

typeof Foo['bar'] has strange precedence

Aperta

#19.707 aperta il 3 nov 2017

Vedi su GitHubGuida contributor
 (6 commenti) (0 reazioni) (0 assegnatari)TypeScript (13.395 fork)batch import
Effort: ModerateExperimentation NeededHelp WantedRevisitSuggestion

Metriche repository

Star
 (108.860 stelle)
Metriche merge PR
 (Metriche PR in attesa)

Descrizione

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?

Guida contributor

Direzione di ricerca
Indaga l'implementazione del parser in src/compiler/parser.ts per vedere come vengono analizzati i tipi typeof e di accesso indicizzato. Rivedi le regole grammaticali pertinenti e verifica se il comportamento attuale è intenzionale. In caso contrario, proponi una correzione per modificare l'albero di analisi. Inoltre, controlla se esistono test che coprano questa precedenza.
Tech stack
typescript
Dominio
tooling
Tipo issue
Bug
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-3 ore
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
TypeScript
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
40