Add testbed reproducing diagnostic pull on a saved unsaved-but-named buffer#1798
Draft
Copilot wants to merge 3 commits into
Draft
Add testbed reproducing diagnostic pull on a saved unsaved-but-named buffer#1798Copilot wants to merge 3 commits into
Copilot wants to merge 3 commits into
Conversation
Copilot
AI
changed the title
[WIP] Add testbed for diagnostics issue with unsaved named buffer
Add testbed reproducing diagnostic pull on a saved unsaved-but-named buffer
Jun 22, 2026
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Saving an "unsaved but named" (
untitled:) buffer makes VS Code senddidSave(file URI), thendidChange/didClosefollowed by atextDocument/diagnosticrequest — all on the now-closeduntitled:URI. A real server has no project for that URI and the request fails. This adds a minimal testbed to reproduce the flow (#1797 / #1771).All changes are confined to the manual
testbed/extension and do not affect the library build or CI.Changes
testbed/package.json): registers atestbedlanguage with the.testbedextension.testbed/client/src/extension.ts): adds{ language: 'testbed' }todocumentSelectorand.testbedto thediagnosticPullOptions.matchfilter.testbed/server/src/server.ts): logsdidOpen/didSave/didCloseand the diagnostic pull; fails the pull withno project found for URI <uri>when the target document is not open and its scheme is notfile(the closeduntitled:case), mirroring tsserver.testbed/workspace/sample.testbedandtestbed/workspace/repro-1797.md.Server reproduction
Exercising the built server over stdio with a diagnostic pull for a closed
untitled:document surfaces: