Tomasz Dądela

This PR is still not finished (in draft). Requires adding similar annotations to FastHttpSession and more testing. It would be nice and beneficial if you @cyberw could express if you...

I'm not 100% sure, but according to my current understanding of Python typing ecosystem — no. I'll do more research about it. > I'd like to avoid the extra level...

I think about it as defining types of method that de facto doesn't exist (in contrast to a function with the same name in a base class). I doubt if...

I will do it this weekend. On Tue, 4 Jun 2024, 20:53 Lars Holmberg, ***@***.***> wrote: > hi @tdadela did you have a chance to try it > out? Or...

Sorry for the delay. I tried defining HttpSession with annotations, inside if TYPE_CHECKING. It was ignored by type checkers. I see 3 options: 1. Keeping HttpSession as is. (no changes,...

@cyberw Do you prefer the last or the last but one version? (I'll fix the stupid mistake in a minute) Also, I've realized that # type: ignore[misc] is no longer...

> Have you tried it with vscode/pyright? Yes. It works well. (I hope I checked everything correctly.)

@0scarB Thank you very much for your support! It's especially beneficial since I don't use some tools, e.g., pyright on daily bases (I'm not sure if I test everything correctly).

Today I tried to make return type argument dependent (catch_response) using `@overload`. Unfortunately, this makes the file super clutter. > Ideally I'd like to use the same typing for FastHttpSession...

Hi, @cyberw I don't know details of your conversation with Dominik (which resulted in opening this issue) but I don't want to leave this without a response from our team....