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:

Reproduce el ejemplo mínimo en el TypeScript Playground enlazado usando las versiones del compilador indicadas y, a continuación, rastrea cómo se evalúan la sobrecarga, la inferencia genérica y el tipo condicional. Se considera completado cuando el ejemplo compila sin el error de asignación indicado y conserva los resultados esperados para A y B.