Python: typing.cast против встроенного в кастинг ⇐ Python

[Anonymous]

Есть ли разница между функцией typing.cast и встроенной функцией приведения?

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

x = 123
y = str(x)

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

from typing import cast
x = 123
y = cast(str, x)

Я ожидал, что Mypy может не понравиться первый случай, и предпочтет typling.cast, но это было не так.

Подробнее здесь: https://stackoverflow.com/questions/750 ... in-casting