Skip to content

fix(linter): address review feedback on full_comment_delete_span#1

Merged
wagenet merged 2 commits intostray-commentsfrom
copilot/fix-comments-on-pr-19804
Feb 27, 2026
Merged

fix(linter): address review feedback on full_comment_delete_span#1
wagenet merged 2 commits intostray-commentsfrom
copilot/fix-comments-on-pr-19804

Conversation

Copy link
Copy Markdown

Copilot AI commented Feb 27, 2026

Addresses two review comments from the full_comment_delete_span PR.

Changes

  • debug_assert! in unreachable branch: The else fallback in full_comment_delete_span (where the content span isn't preceded by // or /*) now asserts false with an explanatory message, making the invariant violation visible in debug builds
  • Remove unnecessary test submodule: The mod full_comment_delete_span { ... } wrapper around the unit tests was removed; the 8 test functions now live directly in the parent mod tests, with full_comment_delete_span added to the existing use super:: import

🔒 GitHub Advanced Security automatically protects Copilot coding agent pull requests. You can protect all pull requests by enabling Advanced Security for your repositories. Learn more about Advanced Security.

…st submodule

Co-authored-by: wagenet <9835+wagenet@users.noreply.github.com>
Copilot AI changed the title [WIP] Fix issues raised in comments for PR 19804 fix(linter): address review feedback on full_comment_delete_span Feb 27, 2026
@autofix-troubleshooter
Copy link
Copy Markdown

Hi! I'm the autofix logoautofix.ci troubleshooter bot.

It looks like you correctly set up a CI job that uses the autofix.ci GitHub Action, but the autofix.ci GitHub App has not been installed for this repository. This means that autofix.ci unfortunately does not have the permissions to fix this pull request. If you are the repository owner, please install the app and then restart the CI workflow! 😃

@wagenet wagenet marked this pull request as ready for review February 27, 2026 19:33
@wagenet wagenet merged commit 6a3be2e into stray-comments Feb 27, 2026
20 of 22 checks passed
@wagenet wagenet deleted the copilot/fix-comments-on-pr-19804 branch February 27, 2026 19:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants