For those interested: the results page in this PR looks like this:

https://htmlpreview.github.io/?https://github.com/SimonSchic...

Thanks.

I really need better generics support before ty becomes useful. Currently decorators just make all return types unknown. I need something this to work:

    _F = TypeVar("_F", bound=Callable[..., Any])
    def my_decorator(*args: str) -> Callable[[_F], _F]: ...