Microsoft/TypeScript

typeof Foo['bar'] has strange precedence

Open

#19,707 opened on 2017年11月3日

GitHub で見る
 (6 comments) (0 reactions) (0 assignees)TypeScript (6,726 forks)batch import
Effort: ModerateExperimentation NeededHelp WantedRevisitSuggestion

Repository metrics

Stars
 (48,455 stars)
PR merge metrics
 (平均マージ 6d 17h) (30d で 9 merged PRs)

説明

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?

コントリビューターガイド