PR #13749 [red-knot] Support for not equal narrowing

[red-knot] Support for not equal narrowing #13749

sharkdp merged 7 commits into astral-sh:main from Lexxxzy:narrowing-noteq

Lexxxzy requested a review from

carljm 342 days ago

Lexxxzy requested a review from

MichaReiser 342 days ago

Lexxxzy requested a review from

AlexWaygood 342 days ago

AlexWaygood added ty

sharkdp requested changes on 2024-10-15

[red-knot] Support for noteq None narrowing

556538c9

[red-knot] move test file and update structure

2336b155

[red-knot] add additional tests

a23c9267

Add new logic for != narrowing

b7eb5434

Add new test for nested conditionals

71e40ecd

Add new test for class types

7334f31b

sharkdp force pushed from d8376919 to 7334f31b 335 days ago

sharkdp commented on 2024-10-21

carljm approved these changes on 2024-10-21

Adapt test case to single-valued types

e7038c4c

sharkdp merged 9d102799 into main 335 days ago

Reviewers

carljm

sharkdp

MichaReiser

AlexWaygood

Assignees

No one assigned

Labels

Milestone

No milestone