generic bounds don't work with bare typevar

[KotlinIsland]

from typing import TypeVar

T = TypeVar("T")
R = TypeVar("R", bound=T)


def foo(t: T, r: R): ...

o: object
f: float

foo(f, o)  # no error