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:

Tái hiện ví dụ tối thiểu trong TypeScript Playground được liên kết bằng các phiên bản compiler đã liệt kê, sau đó truy vết cách overload, generic inference và conditional type được đánh giá. Công việc được xem là hoàn tất khi ví dụ biên dịch mà không có assignment error được báo cáo, đồng thời vẫn giữ nguyên các kết quả mong đợi cho A và B.