Комбинируя генераторы

[meonsou]

На этом историю можно было бы закончить, но в TypeScript тело функции предиката типов не проверяется на фактическую корректность в отношении анализа переданного значения.

С недавних пор проверяется

const isNumber1: (x: unknown) => x is number = (x) => { // Error
    return true
}

const isNumber2: (x: unknown) => x is number = (x) => { // Ok
    return typeof x === "number"
}

[JPEG]

О, спасибо, прикольный трюк, попробую его внедрить. Он увы все равно легко обходится.