Incorrect type inference for Record with symbol key

TypeScript Version: Nightly

Search Terms: Record, Symbol, symbol as index

Code

export type SN = Record<symbol, number>

const s = Symbol()
const sn: SN = {}

const n = sn[s] // n is of type any instead of number

Expected behavior:

A Record with symbols as key should allow to access properties by symbol with correct type

Actual behavior:

All keys are any type.

Playground Link: http://www.typescriptlang.org/play/?noImplicitAny=false&strictNullChecks=false&strictFunctionTypes=false&strictPropertyInitialization=false&strictBindCallApply=false&noImplicitThis=false&noImplicitReturns=false&alwaysStrict=false&ts=3.9.0-dev.20200308#code/KYDwDg9gTgLgBDAnmYcDKA5OBeOAlYAY2gBMAeAZ0QFsAjCAGwBo4A7AVzuCgD4AoPsVYV4FHOhr0GACgCUgiMNGsAXOiy4A3gF8BQkW3EVWAbQoBdIA

Related Issues: #1863

Tái hiện ví dụ trong issue bằng TypeScript Nightly playground hoặc phiên bản TypeScript được hiển thị, sau đó theo dõi cách trình biên dịch xử lý truy cập được lập chỉ mục trên Record<symbol, number>. So sánh kiểu được suy luận của sn[s] với number mong đợi và sử dụng issue liên quan #1863 làm ngữ cảnh. Công việc được xem là hoàn tất khi truy cập Record với khóa symbol được suy luận là number thay vì any, với một bài kiểm thử hồi quy bao phủ ví dụ này.