Regression from 4.1.5 to 4.2.3: "Type instantiation is excessively deep and possibly infinite."

Bug Report

The attached playground compiles happily and quickly in Typescript 4.1.5, but fails with "Type instantiation is excessively deep and possibly infinite" in Typescript 4.2.3. Is a conditional distributing that didn't use to?

🔎 Search Terms

🕗 Version & Regression Information

• This changed between versions 4.1.5 and 4.2.3
• Fails on nightly as well

⏯ Playground Link

Playground link with relevant code

💻 Code

🙁 Actual behavior

4.2.3: Compilation error
nightly: Compilation error

🙂 Expected behavior

4.1.5: Compiles quickly and works fine

Bắt đầu với repro TypeScript Playground được liên kết và so sánh việc biên dịch trên 4.1.5, 4.2.3 và nightly. Rút gọn ví dụ để xác định hành vi của conditional type hoặc instantiation đã thay đổi; sử dụng trường hợp đã rút gọn để định hướng việc điều tra trong compiler và thêm một regression test. Hoàn thành khi repro biên dịch thành công mà không có lỗi excessively deep instantiation.