Parameter type narrowing should consider function overload signatures

TypeScript Version: 2.2.1

Code

interface A { x: number; }
interface B { y: number; }

function foo(b: B): void;
function foo(a: A, b: B): void;
function foo(a: A|B, b?: B): void {
  if(b !== void 0) {
    console.log(a.y); // Error: Property 'y' does not exist on type 'A | B'
  }
}

The third (unified) function signature is hidden from the call site, and therefore any arguments should be able to be narrowed based on inspection of the provided arguments. In the case above, the second argument is only defined if the first argument is of type A, and so I would expect narrowing of the argument type to occur accordingly. One could make the argument that in the compiled output, it's possible for JavaScript to still pass subsequent arguments, but then why narrow types at all, seeing as JavaScript can always violate every type constraint that TypeScript makes inferences from?

Comienza con la reproducción de TypeScript 2.2.1 en el issue e inspecciona cómo se relacionan las firmas de sobrecarga con la firma de implementación unificada durante el estrechamiento de parámetros. Verifica el diagnóstico actual para a.y y determina después si el comportamiento deseado es coherente con las sobrecargas indicadas. Se considera terminado cuando el ejemplo estrecha el argumento como se espera sin debilitar comprobaciones de tipos no relacionadas.