PR #11790 [red-knot] add type narrowing

[red-knot] add type narrowing #11790

carljm merged 6 commits into main from cjm/2narrow

carljm added ty

MichaReiser commented on 2024-06-07

Base automatically changed from cjm/none to main 2 years ago

carljm force pushed from fada7393 to e2338171 2 years ago

carljm force pushed from e2338171 to fb712e61 2 years ago

carljm marked this pull request as ready for review 2 years ago

carljm requested a review from

AlexWaygood 2 years ago

carljm requested a review from

MichaReiser 2 years ago

MichaReiser commented on 2024-06-07

MichaReiser commented on 2024-06-10

MichaReiser approved these changes on 2024-06-10

[red-knot] add type narrowing

d8128418

review feedback

c7daa7e7

complete and fix

11ad5612

review comments

1ccaa9ed

fix visit order in Assign

58b34256

review comments

47b8245b

carljm force pushed from 3cb7ff50 to 47b8245b 2 years ago

carljm enabled auto-merge (squash) 2 years ago

carljm merged 5c0df7a1 into main 2 years ago

carljm deleted the cjm/2narrow branch 2 years ago

Reviewers

MichaReiser

AlexWaygood

Assignees

No one assigned

Labels

Milestone

No milestone