class A[T]:
    def __init__(self, t: T):
        self.t = t


class B:
    def x[TA: A](self, a: TA) -> TA.T:
        return a.t