[red-knot] Understand typing.Protocol and typing_extensions.Protocol as equivalent#17446
Merged
AlexWaygood merged 2 commits intomainfrom Apr 17, 2025
Merged
[red-knot] Understand typing.Protocol and typing_extensions.Protocol as equivalent#17446AlexWaygood merged 2 commits intomainfrom
typing.Protocol and typing_extensions.Protocol as equivalent#17446AlexWaygood merged 2 commits intomainfrom