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?

Inizia con la riproduzione TypeScript 2.2.1 nell’issue ed esamina come le firme di overload siano correlate alla firma di implementazione unificata durante il restringimento dei parametri. Verifica la diagnostica attuale per a.y, quindi determina se il comportamento desiderato è coerente con gli overload indicati. L’attività è completata quando l’esempio restringe l’argomento come previsto senza indebolire i controlli di tipo non correlati.