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:

TypeScript のコードサンプルと Playground リンクから始め、指定された TypeScript 3.2.0-dev.20181025 バージョンまたは現在のビルドを使って報告されたエラーを再現します。算術式の前にある typeof a !== typeof b に対する制御フローの絞り込みを調査します。完了条件は、関連する型チェックを弱めることなく、サンプルが b を正しく数値として認識することです。