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.

Commencez par l’exemple TypeScript autonome fourni dans l’issue et compilez-le avec TypeScript 3.0.1, en comparant foobar_good à foobar_bad. Étudiez l’effet de l’affectation de arg à lui-même sur le narrowing de unknown vers number. Le travail est terminé lorsque le code présenté compile tout en conservant le comportement attendu du typage.