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

Reproduziere das Beispiel im Issue mit dem TypeScript Nightly Playground oder der gezeigten TypeScript-Version und verfolge anschließend, wie der Compiler den indizierten Zugriff auf Record<symbol, number> verarbeitet. Vergleiche den inferierten Typ von sn[s] mit dem erwarteten number und nutze das verwandte Issue #1863 als Kontext. Als erledigt gilt die Aufgabe, wenn der Zugriff auf einen symbolbasierten Record als number statt als any inferiert wird und ein Regressionstest das Beispiel abdeckt.