PR #19932 [ty] more precise lazy scope place lookup

[ty] more precise lazy scope place lookup #19932

carljm merged 21 commits into astral-sh:main from mtshiba:lazy-scope-place-lookup2

[ty] more precise lazy scope place lookup

6239fee2

mtshiba requested a review from

carljm 267 days ago

mtshiba requested a review from

AlexWaygood 267 days ago

mtshiba requested a review from

sharkdp 267 days ago

mtshiba requested a review from

dcreager 267 days ago

ntBre added ty

mtshiba marked this pull request as draft 267 days ago

Merge branch 'main' into lazy-scope-place-lookup2

f33d2e23

Compare the terminal bindings with the captured bindings and decide w…

68985353

mtshiba force pushed from f785733f to 69f82c7e 258 days ago

Introduce `SnapshotCompleteness` to retain and utilize incomplete sna…

4225c283

mtshiba force pushed from 69f82c7e to 4225c283 258 days ago

Perform exact boundness analysis if the snapshot is complete

b0bdffda

Revert "Perform exact boundness analysis if the snapshot is complete"

957e4630

Update use_def.rs

c9f26255

remove unnecessary code

5a078235

mtshiba force pushed from 04f57df9 to 5a078235 257 days ago

mtshiba commented on 2025-08-25

mtshiba marked this pull request as ready for review 257 days ago

AlexWaygood removed review request from

AlexWaygood 257 days ago

carljm commented on 2025-08-25

Merge branch 'main' into lazy-scope-place-lookup2

9c55e667

Partially revert "remove unnecessary code"

cd233a2f

sharkdp removed review request from

sharkdp 256 days ago

carljm requested changes on 2025-09-03

Update lazy snapshots on every reassignment

376c1271

Merge branch 'main' into lazy-scope-place-lookup2

6648a172

Update nested.md

614b9341

Update builder.rs

de6e9db7

mtshiba force pushed from 81dbc63f to de6e9db7 243 days ago

revert unnecessary changes

3fc81abd

mtshiba force pushed from 48eaf755 to 3fc81abd 243 days ago

mtshiba marked this pull request as draft 243 days ago

Fix the condition for updating lazy snapshots

418ae895

optimize snapshot updates

70bcb0ee

Fix incorrectly determining that a function was reassigned when it wa…

1a4e6fe5

Revert "optimize snapshot updates"

f9c3fcf9

minor changes in use_def.rs

432c252f

mtshiba marked this pull request as ready for review 243 days ago

mtshiba requested a review from

carljm 243 days ago

Doc additions

878ff597

carljm approved these changes on 2025-09-08

carljm enabled auto-merge (squash) 243 days ago

carljm merged 08a561fc into main 243 days ago

mtshiba deleted the lazy-scope-place-lookup2 branch 242 days ago

Reviewers

carljm

dcreager

Assignees

No one assigned

Labels

Milestone

No milestone

ruff [ty] more precise lazy scope place lookup #19932 Merged

[ty] more precise lazy scope place lookup #19932

ruff
[ty] more precise lazy scope place lookup
#19932

Merged