feat(semantic): add move_binding API in ScopeTree

[Dunqing]

Part of #6658

This API is useful when we want to move a scope to another scope

[graphite-app]

Your org has enabled the Graphite merge queue for merging into main

Add the label “0-merge” to the PR and Graphite will automatically add it to the merge queue when it’s ready to merge. Or use the label “hotfix” to add to the merge queue as a hot fix.

You must have a Graphite account and log in to Graphite in order to use the merge queue. Sign up using this link.

[Dunqing]

• feat(semantic): add move_binding API in ScopeTree #6808 👈
• feat(semantic): add change_parent_id API in ScopeTree #6807
• main

This stack of pull requests is managed by Graphite. Learn more about stacking.

Join @Dunqing and the rest of your teammates on Graphite

[codspeed-hq]

CodSpeed Performance Report

Merging #6808 will not alter performance

_{Comparing 10-23-feat_semantic_add_move_binding_api_in_scopetree (5928f04) with main (e7e60da)}

Summary

✅ 30 untouched benchmarks

[overlookmotel]

Merge activity

• Oct 23, 11:30 AM EDT: The merge label '0-merge' was detected. This PR will be added to the Graphite merge queue once it meets the requirements.
• Oct 23, 11:31 AM EDT: A user added this pull request to the Graphite merge queue.
• Oct 23, 11:41 AM EDT: A user merged this pull request with the Graphite merge queue.