You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
On second thought, maybe this is intentional? I see that not all public APIs are fully typed---for example, mypy infers the type of stream_id and headers on RequestReceived as None because they're not annotated and are set to None in the constructor.
Activity
timoffex commentedon Jan 16, 2025
On second thought, maybe this is intentional? I see that not all public APIs are fully typed---for example,
mypyinfers the type ofstream_idandheadersonRequestReceivedasNonebecause they're not annotated and are set toNonein the constructor.timoffex commentedon Jan 17, 2025
I am happy to find out that this is being addressed by #1289.