Подсказки типа Python - лучший синтаксис для cast ()?

Недавно я начал использовать подсказки типов в своем коде и до сих пор обнаружил, что они быть (в основном) очень полезным.

Однако одна вещь, которая мне действительно не нравится, — это синтаксис, заставляющий средство проверки типов предполагать, что переменная имеет определенный тип. Учитывая этот пример:

import itertools
from typing import Iterable, Tuple
x: Iterable[Tuple[str, str]] = itertools.combinations('abc', 2)
# error: Incompatible types in assignment (expression has type "Iterable[Tuple[str, ...]]", variable has type "List[Tuple[str, str]]")

Насколько я могу судить, рекомендуемый способ обойти это — явно cast объект, чтобы заставить средство проверки типов использовать указанный тип, например:

import itertools
from typing import Iterable, Tuple, cast
x = cast(Iterable[Tuple[str, str]], itertools.combinations('abc', 2))

Я лично нахожу это решение немного грубым. Меня в первую очередь беспокоит то, что неопытному читателю не ясно, что cast существует исключительно для помощи статическому анализатору. (Если бы я еще не знал, я бы предположил, основываясь на имени и контексте, что он преобразует и делает копию в объект указанного типа, когда на самом деле нет затрат времени выполнения.)

cast выглядит как любой старый вызов функции. Когда я вижу, что функция вызывается для значения, я ожидаю, что значение будет видоизменено и/или возникнут какие-то другие побочные эффекты, но в этом случае единственным побочным эффектом является то, что mypy перестает жаловаться. Подсказки типов сами по себе имеют особый синтаксис, но я чувствую, что это размывает границы смесью нового синтаксиса ввода и традиционного синтаксиса Python. (Это уже немного размыто, так как вы должны import типы и можете их компоновать, но это другой разговор.)

Есть ли альтернативный синтаксис для поведения, подобного cast? Я ничего не нашел, но я надеялся на что-то вроде:

x1 = itertools.combinations('abc', 2)) # cast: Iterable[Tuple[str, str]] 

x2: Iterable[Tuple[str, str]] = itertools.combinations('abc', 2)) # type: cast

x3: Cast[Iterable[Tuple[str, str]]] = itertools.combinations('abc', 2))