PR #17436 [red-knot] Initial tests for protocols

[red-knot] Initial tests for protocols #17436

AlexWaygood merged 5 commits into main from alex/protocol-tests

[red-knot] Initial tests for protocols

a25a8a75

AlexWaygood added ty

AlexWaygood requested a review from

carljm 256 days ago

AlexWaygood requested a review from

sharkdp 256 days ago

AlexWaygood requested a review from

dcreager 256 days ago

AlexWaygood added testing

carljm approved these changes on 2025-04-17

almost everything is still to be done

c16925a5

other review comments

765bb17c

add explicit tests for `typing_extensions.Protocol`

b6331292

workaround mdformat bug and reformat the docs

5e059eee

AlexWaygood force pushed from 683c2d62 to 5e059eee 255 days ago

AlexWaygood enabled auto-merge (squash) 255 days ago

AlexWaygood merged bd898382 into main 255 days ago

AlexWaygood deleted the alex/protocol-tests branch 255 days ago

Reviewers

carljm

sharkdp

dcreager

Assignees

No one assigned

Labels

testing ty

Milestone

No milestone