from typing import TypeVar


T = TypeVar('T', int, unresolved)


def calc(a: T, b: T):
    pass


calc('a', <warning descr="Expected type 'str' (matched generic type 'T ≤: int | Any'), got 'int' instead">0</warning>)
