Type circularly referencing itself when using a generic union type

[ClementNerma]

TypeScript Version: 3.9.2, 4.0.0-beta.20200724, nightly

Search Terms: generic union type circularly referencing itself

Code

class A<T> {}
class B<T> {}

type A_or_B<T> = A<T> | B<T>

type C = A<C> | B<C> // Works fine
type D = A_or_B<D> // Doesn't work :(

Expected behavior:

The code should compile.

Actual behavior:

It does not.

Playground Link: https://www.typescriptlang.org/play/#code/FAYwNghgzlAECCAeAKgPlgbwL6kjWAQiutsMAC4CeADgKYID6A9gE4NFqwC8CxsAPoWJkqdWAGFuvcekFEZsAPSLYAdVYBrOADMAlgDtaFGvQAiU+MzZFT6ZbFNNaUfQHJysAO6bYALgAUwEA

Related Issues: -

[RyanCavanaugh]

Duplicate #41164 (comment); others

[typescript-bot]

This issue has been marked as a 'Duplicate' and has seen no recent activity. It has been automatically closed for house-keeping purposes.