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.

TypeScript 2.3.1 を使用した、提供されている FooTask/BarTask の例で、instanceof と task.constructor による型の絞り込みの違いを再現します。switch に対するコンパイラの型の絞り込みの経路を追跡し、instanceof の場合と比較します。FooTask ブランチで task.foo が受け入れられ、既存の型の絞り込みの動作を弱めていなければ完了です。