Skip to content

Tests/source context: support multiple carets - #20077

Merged
T-Gro merged 1 commit into
dotnet:mainfrom
auduchinok:tests-sourceContext-multipleCarets
Jul 22, 2026
Merged

Tests/source context: support multiple carets#20077
T-Gro merged 1 commit into
dotnet:mainfrom
auduchinok:tests-sourceContext-multipleCarets

Conversation

@auduchinok

Copy link
Copy Markdown
Member

Adds support for multiple carets, as required for #20033.

@auduchinok
auduchinok requested a review from a team as a code owner July 22, 2026 14:50
@github-actions github-actions Bot added the AI-Tooling-Check-Scanned-Clean Tooling check: diff analyzed, no interesting infrastructure files label Jul 22, 2026
@auduchinok
auduchinok force-pushed the tests-sourceContext-multipleCarets branch from a07da7d to 0bf814c Compare July 22, 2026 15:07
@T-Gro T-Gro added the NO_RELEASE_NOTES Label for pull requests which signals, that user opted-out of providing release notes label Jul 22, 2026
@github-project-automation github-project-automation Bot moved this from New to In Progress in F# Compiler and Tooling Jul 22, 2026
@T-Gro
T-Gro enabled auto-merge (squash) July 22, 2026 16:08
T-Gro added a commit that referenced this pull request Jul 22, 2026
Builds on the multi-caret support (SourceContext.extractOrderedMarkedSources)
cherry-picked from #20077. Multi-position goto-def tests now embed ordered
{caret1}/{caret2}/... markers in a single source and assert via a new
assertGoToDefinitionOnLines helper, instead of the markCaretAfterLeadingIdent
substring helper. Removes the now-unused markCaretAfterLeadingIdent and isIdentChar.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Copilot-Session: 9d20cd22-45dc-411f-9163-185fd6dd54d9
@T-Gro
T-Gro merged commit 69fca7f into dotnet:main Jul 22, 2026
49 of 51 checks passed
@github-project-automation github-project-automation Bot moved this from In Progress to Done in F# Compiler and Tooling Jul 22, 2026
@auduchinok
auduchinok deleted the tests-sourceContext-multipleCarets branch July 22, 2026 17:27
@T-Gro

T-Gro commented Jul 23, 2026

Copy link
Copy Markdown
Member

Using your helpers for the multi-caret cases now — thanks! 🙏

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

AI-Tooling-Check-Scanned-Clean Tooling check: diff analyzed, no interesting infrastructure files NO_RELEASE_NOTES Label for pull requests which signals, that user opted-out of providing release notes

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

2 participants