g(
$ mypy q.py
Success: no issues found in 1 source file
$ cat q.py
from typing import TypeVar
T = TypeVar("T", bound=int)
def x(a: T) -> T:
return a
b:bool = x(True)
c:int = x(0)
Вот про bound у тебя в статье с дженериками политкорректно ничего не сказано(
