ruff
[red-knot] Acknowledge that `T & anything` is assignable to `T`
#17413
Merged

[red-knot] Acknowledge that `T & anything` is assignable to `T` #17413

dcreager merged 1 commit into main from dcreager/typevar-minus
dcreager
dcreager Acknowledge that `T & anything` is assignable to `T`
66ba0234
dcreager dcreager added ty
dcreager dcreager requested a review from carljm carljm 160 days ago
dcreager dcreager requested a review from AlexWaygood AlexWaygood 160 days ago
dcreager dcreager requested a review from sharkdp sharkdp 160 days ago
github-actions
carljm
carljm approved these changes on 2025-04-15
dcreager dcreager merged 807a8a7a into main 160 days ago
dcreager dcreager deleted the dcreager/typevar-minus branch 160 days ago

Login to write a write a comment.

Login via GitHub

Assignees
No one assigned
Labels
Milestone