Type with overloaded method with a generic overload matches type with incompatible method

TypeScript Version: 3.9.0-dev.20200305

Search Terms:
generic type overload

Code

interface I1 {
    f<V extends 'a'>(value: V): void;
    f(value: 'b'): void;
}

interface I2 {
    f(value: 'c'): void;
}

function test(x: I1) {
    function u(y: I2) { }

    u(x);
}

Expected behavior:
Compilation error, u cannot accept x as I1 cannot handle f('c')

Actual behavior:
Compilation succeeds.
Note that all of the following fail, as expected:

interface I1 {
    // f<V extends 'a'>(value: V): void;
    f(value: 'b'): void;
}

interface I2 {
    f(value: 'c'): void;
}

function test(x: I1) {
    function u(y: I2) { }

    u(x);
}

interface I1 {
    f<V extends 'a'>(value: V): void;
    // f(value: 'b'): void;
}

interface I2 {
    f(value: 'c'): void;
}

function test(x: I1) {
    function u(y: I2) { }

    u(x);
}

interface I1 {
    f(value: 'a'): void;
    f(value: 'b'): void;
}

interface I2 {
    f(value: 'c'): void;
}

function test(x: I1) {
    function u(y: I2) { }

    u(x);
}

Playground Link:
https://www.typescriptlang.org/play/?ts=3.9.0-dev.20200305#code/JYOwLgpgTgZghgYwgAgJIEZkG8CwAoZQ5GAHgDVkIAPSEAEwGdkByOZgPgAoA3OAGwCuEAFzIyASlHcA9sDoBufEWI9+Q0cwBGzSchlzFeAL758oSLEQpUAJmxKiMVYJEsEOqbIX4TefDAEQBDBgaRBkSAYwTipRDHF7AkdA4NDwgU4ATzibBKxkXwdCDKpxQyMgA

Related Issues:
Not sure.

TypeScript 3.9.0-dev.20200305 コンパイラーと、issue に記載されている最小限のインターフェイスおよび呼び出しから始め、リンクされている Playground の例を使って割り当てが成功することを再現します。ジェネリックと非ジェネリックのオーバーロードの組み合わせが、誤って I1 を I2 として受け入れることを確認し、その後リグレッションテストを追加して、呼び出しによって期待されるコンパイルエラーが発生することを検証します。