import typing

T = typing.TypeVar("T", bound="Base", default="Foo")


class Base: ...


class Foo(Base): ...


class Bar(typing.Generic[T]):
    def __init__(self, foo: T) -> None:
        self.foo = foo

    @property
    def foo_(self) -> T:
        return self.foo  # error