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 }

Beginne mit der verknüpften TypeScript Playground-Reproduktion und verfolge die Inferenz für berechnete Eigenschaften und Indexer bei einem Schlüssel vom Typ any. Ermittle den beabsichtigten inferierten Indexer-Typ und überprüfe anschließend das Ergebnis anhand des gezeigten Beispiels für den Zugriff per String. Füge dann im relevanten Tests für die Typprüfung Testabdeckung hinzu oder aktualisiere diese.