Commits
Click on a commit to change the comparison range[ty] more precise lazy scope place lookup Merge branch 'main' into lazy-scope-place-lookup2 Compare the terminal bindings with the captured bindings and decide whether to keep the lazy snapshot Introduce `SnapshotCompleteness` to retain and utilize incomplete snapshots Perform exact boundness analysis if the snapshot is complete Revert "Perform exact boundness analysis if the snapshot is complete"
This reverts commit b0bdffda9bde60a52f806871897a190650ccfa0e. Partially revert "remove unnecessary code"
This reverts commit 5a078235af7b82faa6671b842b47c9937a2a0c07. Update lazy snapshots on every reassignment revert unnecessary changes Fix the condition for updating lazy snapshots optimize snapshot updates Fix incorrectly determining that a function was reassigned when it was first defined Revert "optimize snapshot updates"
This reverts commit 70bcb0ee50b6dbe01de44bbc1344d4415d4b5a9e. minor changes in use_def.rs