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?

Commencez par la reproduction TypeScript 2.2.1 dans l’issue et examinez comment les signatures de surcharge sont liées à la signature d’implémentation unifiée lors du rétrécissement des paramètres. Vérifiez le diagnostic actuel pour a.y, puis déterminez si le comportement souhaité est cohérent avec les surcharges indiquées. La tâche est terminée lorsque l’exemple rétrécit l’argument comme prévu sans affaiblir les vérifications de types non liées.