ruff
[red-knot] Recurse into the types of protocol members when normalizing a protocol's interface
#17808
Merged
Overview
Commits
4
Changes
View On GitHub

[red-knot] Recurse into the types of protocol members when normalizing a protocol's interface #17808

AlexWaygood merged 4 commits into main from alex/protocol-union-normalization
AlexWaygood
AlexWaygood hide implementation details in order to maintain invariants
9e32131d
AlexWaygood add failing tests
b08e9ee9
AlexWaygood fix failing tests
9d58d370
AlexWaygood AlexWaygood added ty
AlexWaygood AlexWaygood requested a review from carljm carljm 134 days ago
AlexWaygood AlexWaygood requested a review from sharkdp sharkdp 134 days ago
AlexWaygood AlexWaygood requested a review from dcreager dcreager 134 days ago
github-actions
AlexWaygood rename submodule
acd23274
AlexWaygood AlexWaygood force pushed from ed4cf408 to acd23274 134 days ago
carljm
carljm approved these changes on 2025-05-03
AlexWaygood AlexWaygood merged e6a798b9 into main 133 days ago
AlexWaygood AlexWaygood deleted the alex/protocol-union-normalization branch 133 days ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
ty
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum