Assignment of argument to argument loses deduced typing

Could be a duplicate but difficult to construct an issue search to discern.

Problem shows with typescript@latest version 3.0.1.

Given nature of problem suspect that it would not have been fixed in typescript@next. Apologies for not testing.

type inference error argument

Code

// A *self-contained* demonstration of the problem follows...
// Just paste this code into your favorite TypeScript IDE

function foobar_good(arg: unknown): void | number {

  if (typeof arg != 'number') {
    return
  }

  return arg;
}

function foobar_bad(arg: unknown): void | number {

  if (typeof arg != 'number') {
    return
  }

  arg = arg;

  return arg;
}

[ts] Type 'unknown' is not assignable to type 'number | void'.
Type 'unknown' is not assignable to type 'void'.

Expected behavior:
Should compile.

Actual behavior:
Does not compile.

Comienza con el ejemplo autocontenido de TypeScript del issue y compílalo con TypeScript 3.0.1, comparando foobar_good con foobar_bad. Investiga cómo afecta asignar arg a sí mismo al estrechamiento de unknown a number. Se considera terminado cuando el código mostrado compila y conserva el comportamiento esperado de comprobación de tipos.