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:

Riproduci l’esempio minimo nel TypeScript Playground collegato usando le versioni del compilatore elencate, quindi traccia il modo in cui vengono valutati l’overload, l’inferenza generica e il tipo condizionale. Il lavoro è completato quando l’esempio viene compilato senza l’errore di assegnazione segnalato, preservando i risultati attesi per A e B.