Support implicit invocations of `Symbol.toPrimitive` for statically-named properties

Bug Report

Original Title: Type declaration merging of a class, a namespace and another type like symbol or string

Given the following declaration

const ASymbol = Symbol('A');

class A {
  static [Symbol.toPrimitive]() {
    return ASymbol;
  }
}

namespace A {
  export type T = any;
}

I get an error when I do this:

class TestClass {
  [A]() { // error

  }
}

The why doesn't matter. It's a bug because Typescript is a "superset" of Javascript and it works in the latter.

It can be worked around with hacks like

const AWrapper: typeof A & typeof ASymbol = A as any;

class TestClass2 {
  [AWrapper]() { // works

  }
  otherMethod() {
    this[AWrapper](); // although this still gives an error
  }
}

But then I'm not able to do this:

let o: AWrapper.T; // error

It loses the the namespace properties.

Is it possible to merge all type declarations so that at least the hack can be used?

🔎 Search Terms

declaration merging class namespace type symbol string intersection

🕗 Version & Regression Information

Playground Latest v5+

⏯ Playground Link

Playground

💻 Code

In the description

🙁 Actual behavior

Error

🙂 Expected behavior

No error, or at least a way to hack around.

Inizia dalla riproduzione collegata in TypeScript Playground e confronta l'errore segnalato della proprietà calcolata con il comportamento equivalente di JavaScript. Traccia il modo in cui il compilatore verifica la proprietà denominata staticamente e l'unione delle dichiarazioni; il lavoro è concluso quando l'esempio viene compilato senza l'errore e il tipo di namespace unito rimane utilizzabile.