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

Commencez par reproduire le comportement de TypeScript 3.7.5 ou 3.9.0-dev.20200212 à partir de l’extrait TypeScript de l’issue, en comparant la vérification d’égalité directe avec le type guard équivalent. Suivez le traitement par le compilateur du rétrécissement de type pour les paramètres de type génériques ; le travail est terminé lorsque arg === 'a' permet d’assigner arg à T  'a' sans erreur.