feat(formatter): remove Tag::StartVerbatim and Tag::EndVerbatim

[Dunqing]

No usage for this. From my understanding, this is used to handle invalid syntax, but our AST always produces a valid AST, so it is useless

[Dunqing]

• perf(formatter): replace String buffer with byte-oriented CodeBuffer #14752
• perf(formatter): add text_without_whitespace for text that can never have whitespace #15403
• perf(formatter): optimize formatting literal string #15380
• perf(formatter): memorize text width for FormatElement::Text #15372
• feat(formatter): remove Tag::StartVerbatim and Tag::EndVerbatim #15370 👈 (View in Graphite)
• feat(formatter): remove FormatElement::LocatedTokenText #15367
• perf(formatter): avoid allocation for SyntaxTokenCowSlice #15366
• perf(formatter): optimize FormatElement::Token printing #15365
• refactor(formatter): rename FormatElement::StaticText and FormatElement::DynamicText to FormatElement::Token and FormatElement::Text #15363
• test(formatter): port printer tests from Biome #15358
• 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 Performance Report

Merging #15370 will not alter performance

_{Comparing 11-06-feat_formatter_remove_tag_startverbatim_and_tag_endverbatim (35201d9) with 11-06-feat_formatter_remove_formatelement_locatedtokentext (cd23bd6)}

Summary

✅ 33 untouched
⏩ 4 skipped¹

Footnotes

1. 4 benchmarks were skipped, so the baseline results were used instead. If they were deleted from the codebase, click here and archive them to remove them from the performance reports. ↩

[graphite-app]

Merge activity

• Nov 7, 1:17 AM UTC: leaysgur added this pull request to the Graphite merge queue.
• Nov 7, 1:26 AM UTC: The Graphite merge queue removed this pull request due to downstack failures on PR #15365.
• Nov 7, 1:33 AM UTC: leaysgur added this pull request to the Graphite merge queue.
• Nov 7, 1:34 AM UTC: The Graphite merge queue removed this pull request due to downstack failures on PR #15366.
• Nov 7, 1:54 AM UTC: The merge label '0-merge' was detected. This PR will be added to the Graphite merge queue once it meets the requirements.
• Nov 7, 1:58 AM UTC: Dunqing added this pull request to the Graphite merge queue.
• Nov 7, 1:58 AM UTC: Merged by the Graphite merge queue.