Make the type guarding on 'typeof' be transitive.

TypeScript Version: 2.7.0

Search Terms:
typeof + transitive + type guard + typeof same

Code

function test(a: string | number, b: string | number) {
  if (typeof a === typeof b && typeof a === 'string') return b.length
}

Expected behavior:
variable b be asserted as string type.

Actual behavior:
TS report: Property 'length' does not exist on type 'string | number'. at b.length

Playground Link:
Playground

Related Issues:

Bắt đầu với bản tái hiện bằng TypeScript 2.7 trong liên kết Playground của issue và xác minh lỗi được báo cáo đối với b.length. Sau đó, tìm điểm vào của quá trình kiểm tra kiểu chịu trách nhiệm cho việc narrowing bằng typeof và xác định các test nào bao phủ những type guard liên quan. Công việc được hoàn tất khi hàm được hiển thị chấp nhận b.length khi cả hai toán hạng đều được narrowing thành string.