Reducible circular reference error (regression)

TypeScript Version: 3.7.x-dev.20200728

Search Terms:

Code

export {}

type ShadowHostElementTagName =
  | 'span';
type ShadowHostElementTagNameMap_ = {
  [P in Extract<ShadowHostElementTagName, keyof HTMLElementTagNameMap>]: HTMLElementTagNameMap[P];
};

declare global {
  interface ShadowHostElementTagNameMap extends ShadowHostElementTagNameMap_ {
  }
  interface HTMLElementTagNameMap extends ShadowHostElementTagNameMap {
  }
}

Expected behavior:
pass
Actual behavior:
Type alias 'ShadowHostElementTagNameMap_' circularly references itself.(2456)
Playground Link: https://www.typescriptlang.org/play/index.html?ts=4.0.0-dev.20200728&ssl=1&ssc=1&pln=14&pc=2#code/KYDwDg9gTgLgBAbwL4CgUwJ5mHAygCwEMATCAdwAkIBnGAUQBtgBbYAOxgBVCBzAOUKs4AXhRw4AHzgByamEJtpAbnRYcBEuSq1GLdl14DWAWUJgA+iMRi4AbQAKcAJZs4dEDCiEAxjAA8GqSUNPRMrBzc-ILAADRwANbAGBAAZnAUnMYAMrrhBlEmZgB8ALoAXOmZOWH6kUbApmAOJSpIKijEwN4MhFA4PAwQAEaEDNbiLjDAUCk+6kRB2qF6EYbRjXCgU2zE1HgLWiG5tWuFFuNwqBMc07PeOBnZx6sFDWabHuy7+5rBOjUveobBA2VBIIA
Related Issues:

Beginne damit, das bereitgestellte TypeScript-Snippet im verlinkten Playground zu reproduzieren, und bestätige die TS2456-Diagnose im Vergleich zum erwarteten erfolgreichen Durchlauf. Verfolge die Prüfung zirkulärer Typalias für die gemappten Typen und die globalen HTMLElementTagNameMap-Deklarationen; abgeschlossen ist die Aufgabe, wenn das Beispiel ohne Regressionen bei zirkulären Referenzfehlern an anderer Stelle erfolgreich kompiliert.