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

Reproduce el ejemplo del issue usando el TypeScript Nightly playground o la versión de TypeScript mostrada; después, sigue cómo el compilador gestiona el acceso indexado a Record<symbol, number>. Compara el tipo inferido de sn[s] con el number esperado y usa el issue relacionado #1863 como contexto. La tarea estará terminada cuando el acceso a un Record indexado por symbol se infiera como number en lugar de any y exista una prueba de regresión que cubra el ejemplo.