PR #13177 [red-knot] support non-local name lookups

[red-knot] support non-local name lookups #13177

carljm merged 3 commits into main from nonlocal

carljm added ty

carljm requested a review from

MichaReiser 1 year ago

carljm requested a review from

AlexWaygood 1 year ago

AlexWaygood commented on 2024-08-31

AlexWaygood approved these changes on 2024-09-01

MichaReiser approved these changes on 2024-09-02

[red-knot] support non-local name lookups

3c7c1a4a

improve naming

c9df87e2

review comments

28e4e1d8

carljm force pushed from 564b4237 to 28e4e1d8 1 year ago

carljm merged 3c4ec82a into main 1 year ago

carljm deleted the nonlocal branch 1 year ago

Reviewers

MichaReiser

AlexWaygood

Assignees

No one assigned

Labels

Milestone

No milestone