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

TypeScript Nightly playground または示されている TypeScript バージョンを使って issue の例を再現し、その後、コンパイラーが Record<symbol, number> へのインデックスアクセスをどのように処理しているかを追跡します。sn[s] の推論される型と期待される number を比較し、関連する issue #1863 をコンテキストとして使用します。symbol をキーとする Record へのアクセスが any ではなく number として推論され、例をカバーする回帰テストがある状態を完了とします。