Microsoft/TypeScript

typeof Foo['bar'] has strange precedence

Aberta

#19.707 aberto em 3 de nov. de 2017

Ver no GitHubGuia do colaborador
 (6 comentários) (0 reação) (0 responsável)TypeScript (13.395 forks)batch import
Effort: ModerateExperimentation NeededHelp WantedRevisitSuggestion

Métricas do repositório

Stars
 (108.860 estrelas)
Métricas de merge de PR
 (Métricas PR pendentes)

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?

Guia do colaborador

Direção de pesquisa
Investigue a implementação do analisador sintático em src/compiler/parser.ts para ver como os tipos typeof e de acesso indexado são analisados. Revise as regras gramaticais relevantes e verifique se o comportamento atual é intencional. Caso contrário, proponha uma correção para alterar a árvore de análise. Além disso, verifique se há algum teste existente que cubra essa precedência.
Pilha de tecnologia
typescript
Domain
tooling
Tipo Issue
Bug
DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.
3
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
1-3 horas
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
Ativo
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Claro
Prerequisites
TypeScript
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
40