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

Reproduisez l’exemple de l’issue avec le TypeScript Nightly playground ou la version de TypeScript indiquée, puis suivez le traitement par le compilateur de l’accès indexé à Record<symbol, number>. Comparez le type inféré de sn[s] avec le number attendu et utilisez l’issue associée #1863 comme contexte. La tâche est terminée lorsque l’accès à un Record indexé par symbol est inféré comme number plutôt que any, avec un test de régression couvrant l’exemple.