Type narrowing with foo.constructor

TypeScript Version: 2.3.1

Code

class FooTask {
  foo: number;
}

class BarTask {
  bar: number;
}

type taskType = FooTask|BarTask;

function createEvent(task: taskType) {
  if (task instanceof FooTask) {
    task.foo; // Works.
  }

  switch (task.constructor) {
    case FooTask:
      task.foo; // Fails.
  }
}

It would be nice if the second worked like the first; narrowed the type of task appropriately.

Verwende das bereitgestellte FooTask/BarTask-Beispiel mit TypeScript 2.3.1, um den Unterschied zwischen instanceof und der Typ-Eingrenzung durch task.constructor zu reproduzieren. Verfolge den Pfad der Typ-Eingrenzung des Compilers für den switch und vergleiche ihn mit dem instanceof-Fall. Die Aufgabe ist abgeschlossen, wenn task.foo im FooTask-Zweig akzeptiert wird, ohne das bestehende Verhalten der Typ-Eingrenzung abzuschwächen.