Recursive Reference of Interface to itself as base type in 4.0.2 (regression?)

TypeScript Version: 4.0.2

Search Terms: circularly, recursive, interface, Pick, keyof

Expected behavior: pass

Actual behavior: Type 'A' recursively references itself as a base type.(2310)

Related Issues:

• #40298

Code

interface B{
    a: string;
    b: string;
}

interface A extends Pick<B, keyof A> {
    b: string;
}

Output Compiler Options Playground Link: Provided

It would pass in Typescript 3.9.2, but failed in Typescript 4.0.2.

We use this construct to ensure, that interfaces, like A, are subsets of interfaces, like B. If this is intended behaviour, could you please provide a code sample to this construct to ensure that Interface A is containing only keys of interface B in Typescript 4.0.2?

[Uzlopak]

We removed for now our “recursive references” but I would like that this works again in Typescript 4

[Uzlopak]

The user @jcalz is also here 😄