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:

Bắt đầu với mẫu mã TypeScript và liên kết Playground, sau đó tái hiện lỗi được báo cáo bằng phiên bản TypeScript 3.2.0-dev.20181025 đã nêu hoặc một bản build hiện tại. Điều tra việc thu hẹp luồng điều khiển đối với typeof a !== typeof b trước biểu thức số học. Được xem là hoàn tất khi ví dụ nhận diện đúng b là một số mà không làm yếu việc kiểm tra kiểu liên quan.