Only number index type is inferred from `any` computed property key

Bug Report

🔎 Search Terms

• Computed properties
• Indexers
• Index signatures

🕗 Version & Regression Information

• This is the behavior in every version I tried.

⏯ Playground Link

Playground link with relevant code

💻 Code

declare let a: any;

const obj = {
  [a]: "s",
}; // { [x: number]: string }

obj["abc"]; // error

🙁 Actual behavior

A numeric indexer is inferred. String index access marked as invalid.

🙂 Expected behavior

A string indexer is expected. No error for string access.

declare let a: any;

const obj = {
  [a]: "s",
}; // { [x: number]: string }

obj["abc"]; // no error

I created a small PR that addresses the issue as an example but I'm still not sure if the current behavior is intentional or not.

EDIT: I'm still not sure if the inferred indexer should have a String type, perhaps a union of the allowed primitive types fits better, e.g.:

declare let a: any;

const obj = {
  [a]: "s",
}; // { [x: string | number | symbol]: string }

Inizia con la riproduzione collegata in TypeScript Playground e traccia l’inferenza di proprietà calcolate/indexer per una chiave any. Determina il tipo di indexer inferito previsto, quindi verifica il risultato rispetto all’esempio mostrato di accesso tramite stringa e aggiungi o aggiorna la copertura nei test di verifica dei tipi pertinenti.