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:

Reproduisez l’exemple minimal dans le TypeScript Playground lié en utilisant les versions du compilateur indiquées, puis suivez la manière dont sont évalués la surcharge, l’inférence générique et le type conditionnel. Le travail est terminé lorsque l’exemple se compile sans l’erreur d’affectation signalée tout en conservant les résultats attendus pour A et B.