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

[ty] more precise lazy scope place lookup

mtshiba committed 300 days ago

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

mtshiba committed 293 days ago

Compare the terminal bindings with the captured bindings and decide whether to keep the lazy snapshot

mtshiba committed 293 days ago

Introduce `SnapshotCompleteness` to retain and utilize incomplete snapshots

mtshiba committed 292 days ago

Perform exact boundness analysis if the snapshot is complete

mtshiba committed 292 days ago

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

mtshiba committed 292 days ago

Update use_def.rs

mtshiba committed 292 days ago

remove unnecessary code

mtshiba committed 291 days ago

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

mtshiba committed 290 days ago

Partially revert "remove unnecessary code"

mtshiba committed 290 days ago

Update lazy snapshots on every reassignment

mtshiba committed 278 days ago

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

mtshiba committed 277 days ago

Update nested.md

mtshiba committed 277 days ago

Update builder.rs

mtshiba committed 277 days ago

revert unnecessary changes

mtshiba committed 277 days ago

Fix the condition for updating lazy snapshots