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:

リンクされた TypeScript Playground で最小限の例を、記載されているコンパイラのバージョンを使って再現し、その後、オーバーロード、ジェネリック推論、条件付き型がどのように評価されるかを追跡します。完了の条件は、A と B に対して期待される結果を維持したまま、報告された代入エラーなしで例がコンパイルできることです。