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?

Beginne mit der TypeScript 2.2.1-Reproduktion im Issue und untersuche, wie Überladungssignaturen während der Parametereingrenzung mit der vereinheitlichten Implementierungssignatur zusammenhängen. Überprüfe die aktuelle Diagnose für a.y und ermittle dann, ob das gewünschte Verhalten mit den angegebenen Überladungen übereinstimmt. Die Aufgabe ist abgeschlossen, wenn das Beispiel das Argument wie erwartet eingrenzt, ohne nicht zugehörige Typprüfungen abzuschwächen.