ruff
[red-knot] is_subtype_of: treat literals as subtype of 'object'
#13876
Merged

[red-knot] is_subtype_of: treat literals as subtype of 'object' #13876

sharkdp merged 2 commits into main from david/subtype-fixes
sharkdp
sharkdp [red-knot] is_subtype_of: literals <: object
ea05469c
sharkdp sharkdp requested a review from carljm carljm 330 days ago
sharkdp sharkdp requested a review from MichaReiser MichaReiser 330 days ago
sharkdp sharkdp requested a review from AlexWaygood AlexWaygood 330 days ago
AlexWaygood
AlexWaygood commented on 2024-10-22
github-actions
AlexWaygood
AlexWaygood approved these changes on 2024-10-22
MichaReiser MichaReiser added ty
sharkdp Move object branches further up
8aa27ca0
AlexWaygood
AlexWaygood approved these changes on 2024-10-22
sharkdp sharkdp merged 46c0961b into main 330 days ago
sharkdp sharkdp deleted the david/subtype-fixes branch 330 days ago

Login to write a write a comment.

Login via GitHub

Assignees
No one assigned
Labels
Milestone