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:

Comienza reproduciendo el fragmento de TypeScript proporcionado en el Playground enlazado y confirma el diagnóstico TS2456 frente al resultado correcto esperado. Rastrea la comprobación de alias de tipo circulares del compilador para los tipos mapeados y las declaraciones globales de HTMLElementTagNameMap; el trabajo estará terminado cuando el ejemplo pase sin introducir regresiones en otros errores de referencias circulares.