overload + generic + infer breaks conditional types

TypeScript Version: 3.9.2, 4.0.0-beta (playground), 3.9.6, 3.9.7 (locally tested)

Search Terms: overload generic conditional

Code

type Wrap <T> = T & { wrap: T }
interface Data { id: number }
interface Foo {
    <K extends keyof Data> (): Wrap<Pick<Data, K>>;
    <K extends keyof Data> (): Wrap<Pick<Data, K>>;
}

type A = Foo extends (...args: any[]) => infer R ? 1 : 0;
type B = Foo extends (...args: any[]) => any ? 1 : 0;
declare let a: A, b: B;

a = b // Type '1' is not assignable to type '0'.(2322)

Expected behavior: compiles without error

Actual behavior: Type '1' is not assignable to type '0'

Playground Link: Link

Related Issues:

Reproduziere das minimale Beispiel im verlinkten TypeScript Playground mit den aufgeführten Compilerversionen und verfolge dann, wie der Overload, die generische Inferenz und der bedingte Typ ausgewertet werden. Als abgeschlossen gilt die Aufgabe, wenn das Beispiel ohne den gemeldeten Zuweisungsfehler kompiliert und dabei die erwarteten Ergebnisse für A und B beibehält.