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:

Inizia con la riproduzione in TypeScript 2.7 nel link al Playground dell'issue e verifica l'errore segnalato per b.length. Individua quindi il punto di ingresso del controllo dei tipi responsabile del narrowing tramite typeof e determina quali test riguardano i type guard correlati. Il lavoro è completato quando la funzione mostrata accetta b.length dopo che entrambi gli operandi sono stati ristretti a string.