Infer implementation signature based on overload signatures

[vilicvane]

Probably a duplicate, but I cannot find one.

function foo(p1: string): void;
function foo(p1: number, p2: boolean): void;
function foo(p1, p2) {
    // p1: string | number;
    // p2: boolean | undefined;
}

If there could be constraints among parameters via type guards, it would be awesome.

[aluanhaddad]

See also #10570, #6118

[RyanCavanaugh]

#7763

Just literally search for the title?

[vilicvane]

Ryan Cavanaugh (@RyanCavanaugh) huh, I tried many combinations but not the title... Thanks for doing that for me, closing.