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:

Bắt đầu bằng cách tái hiện đoạn mã TypeScript được cung cấp trong Playground được liên kết và xác nhận chẩn đoán TS2456 so với kết quả thành công mong đợi. Theo dõi việc kiểm tra alias kiểu dữ liệu vòng của trình biên dịch đối với các kiểu được ánh xạ và các khai báo HTMLElementTagNameMap toàn cục; hoàn thành có nghĩa là ví dụ này vượt qua mà không gây hồi quy các lỗi tham chiếu vòng ở nơi khác.