ruff
[red-knot] Gradual forms do not participate in equivalence/subtyping
#14758

Merged

[red-knot] Gradual forms do not participate in equivalence/subtyping #14758

sharkdp merged 3 commits into main from david/fix-14524

sharkdp added ty

sharkdp requested a review from

carljm 1 year ago

sharkdp requested a review from

MichaReiser 1 year ago

sharkdp requested a review from

AlexWaygood 1 year ago

sharkdp commented on 2024-12-03

sharkdp force pushed from 66fb795d to 45f5b5fe 1 year ago

sharkdp commented on 2024-12-03

sharkdp force pushed from 45f5b5fe to 2f28eb02 1 year ago

carljm approved these changes on 2024-12-03

carljm commented on 2024-12-03

[red-knot] Gradual forms do not participate in equivalence/subtyping

ab0288b4

Remove special Type::Unknown handling

a6e6bfc9

Add TODO comment

96d594d2

sharkdp force pushed from 2f28eb02 to 96d594d2 1 year ago

carljm approved these changes on 2024-12-04

sharkdp merged af43bd4b into main 1 year ago

sharkdp deleted the david/fix-14524 branch 1 year ago

Reviewers

carljm

MichaReiser

AlexWaygood

Assignees

No one assigned

Labels

Milestone

No milestone