[red-knot] Resolve references in eager nested scopes eagerly #16079
dcreager
merged
53 commits into
main
from
alex/eager-scopes
Improve encapsulation of `Scope`
9d101d65
add a failing test
2789cd06
existing tests pass
23ed82df
Get a naive version working
5f566cdb
another passing test
6ea3655a
another passing test
1e5ae86d
add a failing test
16b63ba9
wip
f4904b10
Merge branch 'main' into alex/eager-scopes
b8ffa785
Fix merge conflicts
e5eaab92
Fix type inference merge conflicts
a3ea4776
This unknown is because there is no declared type
4cd5ae08
Add more commentary
0c394abe
Look for eager references in any enclosing scope, not just innermost
df91210e
clippy
06f76aea
linter
cf78c49b
Add a bunch of nested examples
54efbbec
Merge branch 'main' into alex/eager-scopes
7e0ef53b
lint
be8f9eb6
doc typo
908d3e2e
comment
a63c6e65
AlexWaygood
commented
on 2025-02-12
AlexWaygood
commented
on 2025-02-12
Merge branch 'main' into alex/eager-scopes
5db470ec
Don't reexport UseDefMap
28d6513e
Don't impl Deref
f72c268e
Expect all eager scopes to have nested ID
f6470329
Extract eager symbol lookup into separate function
4eb38fd4
Name nit
de73d083
Rework eager bindings storage
dfb73842
Remove unneeded mem::take
95a6bb87
Move more lookup logic into the semantic index builder
e13ac91d
Only consider bindings
71194ba2
Add test for class definition bindings
3b5277e6
Revert AstIds changes
fc938434
Clarify expect message
4556f4d3
Move clone
03ce733e
Don't snapshot eager bindings for bound symbols
fc6c009d
MichaReiser
approved these changes
on 2025-02-18
Add tests for deferred annotations
40d5be22
Add failing tests for eager scopes in global scope
3cf2308c
Handle eager lookups in global scope
8a2449f5
Remove unneeded track_caller
576f54d3
Deferred expressions are always lazy
c3448715
Remove stale TODO
260756b1
Remove another stale track_caller
b24cf070
Remove stale clone/copy
4931bd42
Another track_caller
1a7cbe8c
carljm
approved these changes
on 2025-02-19
Merge branch 'main' into alex/eager-scopes
a55a01a3
Don't save eager bindings in class definitions
d76d3628
Make test iterables non-empty
c65011f9
Verify that eager bindings are used in public types of class attrs
889a64b8
Add technically incorrect test for generators evaluated later
888ba7be
AlexWaygood
approved these changes
on 2025-02-19
Add link to generator spec
cb225238
lint
86a243c5
fix heading
f474b435
Reviewers
Assignees
Labels
ty
Milestone
No milestone
Login to write a write a comment.
Login via GitHub