Ignored check result of typeof a === typeof b

TypeScript Version: 3.2.0-dev.20181025

Search Terms:

Code

type argType = string | number | boolean;
function sort(a: argType, b: argType): number {
    if (typeof a !== typeof b) {
        return 0;
    }
   // typeof a should be number now
    if (typeof a !== 'number') {
        return 0;
    }
    // typeof b should be number now
    return a - b; // Here TS is not sure that b is number
}

Expected behavior:
We have already checked that typeof a is equal typeof b. So if typeof a is number, than and b is number too.

Actual behavior:
error: The right-hand side of an arithmetic operation must be of type 'any', 'number' or an enum type.

Playground Link: http://www.typescriptlang.org/play/#src=%0D%0Atype%20argType%20%3D%20string%20%7C%20number%20%7C%20boolean%3B%0D%0Afunction%20sort(a%3A%20argType%2C%20b%3A%20argType)%3A%20number%20%7B%0D%0A%20%20%20%20if%20(typeof%20a%20!%3D%3D%20typeof%20b)%20%7B%0D%0A%20%20%20%20%20%20%20%20return%200%3B%0D%0A%20%20%20%20%7D%0D%0A%0D%0A%20%20%20%20if%20(typeof%20a%20!%3D%3D%20'number')%20%7B%0D%0A%20%20%20%20%20%20%20%20return%200%3B%0D%0A%20%20%20%20%7D%0D%0A%0D%0A%20%20%20%20return%20a%20-%20b%3B%0D%0A%7D

Related Issues:

Comienza con el ejemplo de código de TypeScript y el enlace al Playground; después reproduce el error informado usando la versión indicada TypeScript 3.2.0-dev.20181025 o una compilación actual. Investiga el estrechamiento del flujo de control para typeof a !== typeof b antes de la expresión aritmética. Se considera terminado cuando el ejemplo reconoce correctamente b como un número sin debilitar la comprobación de tipos relacionada.