ruff
[red-knot] Assignability for subclasses of `Any` and `Unknown`
#17557
Merged

[red-knot] Assignability for subclasses of `Any` and `Unknown` #17557

sharkdp merged 3 commits into main from david/subtype-of-any-assignability
sharkdp
sharkdp sharkdp added ty
github-actions
sharkdp sharkdp marked this pull request as ready for review 164 days ago
sharkdp sharkdp requested a review from carljm carljm 164 days ago
sharkdp sharkdp requested a review from AlexWaygood AlexWaygood 164 days ago
sharkdp sharkdp requested a review from dcreager dcreager 164 days ago
sharkdp
sharkdp commented on 2025-04-22
sharkdp
sharkdp commented on 2025-04-22
AlexWaygood AlexWaygood changed the title [red-knot] Assignability for subtypes of 'Any' [red-knot] Assignability for subclasses of 'Any' 164 days ago
AlexWaygood
AlexWaygood approved these changes on 2025-04-22
sharkdp [red-knot] Assignability for subtypes of 'Any'
d091e088
sharkdp Same behavior for subclasses of Unknown
d457975b
sharkdp sharkdp force pushed from 79df46c9 to d457975b 164 days ago
sharkdp Add exception for @final classes
4f88cb03
sharkdp sharkdp changed the title [red-knot] Assignability for subclasses of 'Any' [red-knot] Assignability for subclasses of `Any` and `Unknown` 164 days ago
sharkdp
sharkdp sharkdp merged 99fa850e into main 164 days ago
sharkdp sharkdp deleted the david/subtype-of-any-assignability branch 164 days ago

Login to write a write a comment.

Login via GitHub

Assignees
No one assigned
Labels
Milestone