`TypeVar`s don't render their context in error messages

[KotlinIsland]

from basedtyping import T


def foo(t: T):
    a: int = t   # T
    reveal_type(t)  # T@foo