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.

Beginne mit dem eigenständigen TypeScript-Beispiel im Issue und kompiliere es mit TypeScript 3.0.1, wobei du foobar_good mit foobar_bad vergleichst. Untersuche, wie sich die Zuweisung von arg an sich selbst auf die Eingrenzung von unknown auf number auswirkt. Als erledigt gilt die Aufgabe, wenn der gezeigte Code kompiliert und dabei das erwartete Type-Checking-Verhalten beibehält.