Сужение типа через исключение в функции ⇐ Python

[Anonymous]

Я пытаюсь понять, почему исключение, вызванное на основе типа переменной, не сужает тип этой переменной.
Я хотел бы сделать что-то вроде этого:

Код: Выделить всё

def ensure_int(obj: int | str) -> None:
if isinstance(obj, str):
raise ValueError("obj cannot be str")

def f(x: int | str) -> int:
ensure_int(x)
return x

Я бы подумал, что вызов обеспечения_int в f сузит тип x до int, но это не так. Mypy дает:

Код: Выделить всё

error: Incompatible return value type (got "Union[int, str]", expected "int")  [return-value]

Почему это не работает? Если я встрою код обеспечения_int в f, то ошибка исчезнет.
Итак, мои вопросы:

• Существуют ли сценарии, в которых вызов метода обеспечения_int не гарантирует, что тип x равен int?
• Есть ли способ исправить это с помощью дополнительных аннотаций или чего-то подобного? Я читал о TypeGuard и TypeIs, но они работают только с функциями, возвращающими bool.

Подробнее здесь: https://stackoverflow.com/questions/794 ... n-function