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

Bắt đầu bằng cách tái hiện hành vi của TypeScript 3.7.5 hoặc 3.9.0-dev.20200212 từ đoạn mã TypeScript trong issue, đồng thời so sánh phép kiểm tra bằng trực tiếp với type guard tương đương. Theo dõi cách compiler xử lý việc thu hẹp kiểu cho các tham số kiểu generic; được xem là hoàn tất khi arg === 'a' cho phép gán arg cho T  'a' mà không có lỗi.