refactor(traverse): take &str instead of CompactStr in TraverseScoping::rename_symbol

[Dunqing]

Scoping no longer needs a CompactStr so into_compact_str is unnecessary.

[Dunqing]

• feat(semantic)!: do not need to return old name in Scoping::set_symbol_name #10613
• perf(semantic): optimize Scoping::rename_symbol method #10612
• refactor(traverse, semantic): move rename_symbol from TraverseScoping to Scoping #10611
• refactor(traverse): take &str instead of CompactStr in TraverseScoping::rename_symbol #10610 👈 (View in Graphite)
• perf(traverse): use ArenaString instead CompactString to store UID name #10562 : 1 other dependent PR (#9881 )
• refactor(allocator)!: return &'alloc str rather than &'alloc mut str in Allocator::alloc_str method #10564
• main

---

How to use the Graphite Merge Queue

Add either label to this PR to merge it via the merge queue:

• 0-merge - adds this PR to the back of the merge queue
• hotfix - for urgent hot fixes, skip the queue and merge this PR next

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

An organization admin has enabled the Graphite Merge Queue in this repository.

Please do not merge from GitHub as this will restart CI on PRs being processed by the merge queue.

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

[codspeed-hq]

CodSpeed Instrumentation Performance Report

Merging #10610 will not alter performance

_{Comparing 04-25-refactor_traverse_take_str_instead_of_compactstr_in_traversescoping_rename_symbol (b31ab87) with main (76ea6a9)}

Summary

✅ 36 untouched benchmarks

[graphite-app]

Merge activity

• Apr 27, 3:12 AM UTC: The merge label '0-merge' was detected. This PR will be added to the Graphite merge queue once it meets the requirements.
• Apr 27, 3:29 AM UTC: graphite-app added this pull request to the Graphite merge queue.
• Apr 27, 3:50 AM UTC: The Graphite merge queue couldn't merge this PR because it timed out.
• Apr 27, 1:21 AM EDT: Boshen added this pull request to the Graphite merge queue.
• Apr 27, 1:21 AM EDT: Merged by the Graphite merge queue.