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:

首先，在链接的 Playground 中复现所提供的 TypeScript 代码片段，并确认 TS2456 诊断与预期通过结果之间的差异。跟踪编译器针对映射类型和全局 HTMLElementTagNameMap 声明的循环类型别名检查；完成的标准是该示例能够通过，同时不会导致其他位置的循环引用错误发生回归。