Type not narrowed by === when equivalent type guard works

TypeScript Version: 3.7.5, also tested on 3.9.0-dev.20200212

Search Terms: equals, type guard, type parameter, narrowing

Code

type AorB = 'a' | 'b';

function isA(t: AorB): t is 'a' {
  return t === 'a';
}

function test<T extends AorB>(arg: T) {
  if (isA(arg)) {
    let a1: T & 'a' = arg; // ok
  }
  if (arg === 'a') {
    let a2: T & 'a' = arg; // error
  }
}

Expected behavior: The condition arg === 'a' should narrow the type of arg to T & 'a' in the second if block, in the same way as the equivalent type guard function does.

Actual behavior: The type of arg is not narrowed in the second if block.

Playground Link: Playground Link

Related Issues: N/A

まず、issue の TypeScript スニペットから TypeScript 3.7.5 または 3.9.0-dev.20200212 の動作を再現し、直接の等価性チェックと同等の type guard を比較します。ジェネリック型パラメーターに対するコンパイラーの型の絞り込み処理を追跡します。完了の条件は、arg === 'a' によってエラーなしで arg を T  'a' に代入できることです。