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
Until recently, typing_extensions.pyi declared its own Protocol symbol as follows:
Protocol: _SpecialForm= ...
It now directly imports Protocol from typing.pyi and re-exports this symbol. This means pyright can no longer differentiate between the two symbols. There's an important difference because typing.Protocol will generate a runtime exception if used in versions of Python prior to 3.7, but typing_extensions.Protocol will not.
@JelleZijlstra, is there a reason this change was made? Or put another way, is there a reason not to change it back?