ruff
[ty]eliminate definitely-impossible types from union in equality narrowing
#20164

Merged

[ty]eliminate definitely-impossible types from union in equality narrowing #20164

carljm merged 17 commits into astral-sh:main from Renkai:renkai-equality-narrowing

Update in.md

b373ee2e

Create debug.md

cfc80c4d

Add `is_union_with_single_valued` method to `Type` for enhanced union…

046939fe

Add debug logging and implement `evaluate_expr_not_in` method in `Nar…

4a7cd62c

Merge branch 'main' into renkai-equality-narrowing

445dd630

Update narrow.rs

f82b66ce

Update in.md

a0bba1ca

Delete debug.md

b31353a2

Remove debug tracing from evaluate_expr_in

752d1797

Renkai marked this pull request as ready for review 177 days ago

Renkai requested a review from

carljm 177 days ago

Renkai requested a review from

AlexWaygood 177 days ago

Renkai requested a review from

sharkdp 177 days ago

Renkai requested a review from

dcreager 177 days ago

Renkai changed the title ~~[ty][WIP] eliminate definitely-impossible types from union in equality narrowing~~ [ty]eliminate definitely-impossible types from union in equality narrowing 176 days ago

AlexWaygood added ty

carljm requested changes on 2025-09-03

Update narrow.rs

6de458c2

Update types.rs

8a990378

use expr in/not in instead of eq/not eq

b31540e1

Revert "use expr in/not in instead of eq/not eq"

a10bc0c2

Update in.md

cf160f06

fix test TODOs

7470d254

add a TODO about eq/in

04620160

carljm commented on 2025-09-03

expand tests, fix bools in unions

96ada71f

carljm approved these changes on 2025-09-03

carljm merged cda376af into main 174 days ago

Reviewers

carljm

AlexWaygood

sharkdp

dcreager

Assignees

No one assigned

Labels

Milestone

No milestone

ruff [ty]eliminate definitely-impossible types from union in equality narrowing #20164 Merged

[ty]eliminate definitely-impossible types from union in equality narrowing #20164

ruff
[ty]eliminate definitely-impossible types from union in equality narrowing
#20164

Merged