Skip to content

Conversation

@the-mikedavis
Copy link
Contributor

This field in the server capabilities instructs the client to maintain the diagnostics received from a textDocument/diagnostic pull request as a separate set from other diagnostics: namely those sent with classic "push" diagnostics, textDocument/publishDiagnostic. rust-analyzer emits "native" diagnostics (computed by rust-analyzer itself) in pull diagnostics and separately emits cargo-based diagnostics with push, so push and pull diagnostics should be different sets. Setting this field instructs the client to avoid clearing push diagnostics when new pull diagnostics arrive and vice versa.

Also see discussion in #18709

This field in the server capabilities instructs the client to maintain
the diagnostics received from a `textDocument/diagnostic` pull request
as a separate set from other diagnostics: namely those sent with classic
"push" diagnostics, `textDocument/publishDiagnostic`. rust-analyzer
emits "native" diagnostics (computed by rust-analyzer itself) in pull
diagnostics and separately emits cargo-based diagnostics with push, so
push and pull diagnostics should be different sets. Setting this field
instructs the client to avoid clearing push diagnostics when new pull
diagnostics arrive and vice versa.
@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Mar 2, 2025
@lnicola lnicola added this pull request to the merge queue Mar 2, 2025
Merged via the queue into rust-lang:master with commit 81ff38f Mar 2, 2025
9 checks passed
@the-mikedavis the-mikedavis deleted the lsp-pull-diagnostics-identifier branch March 2, 2025 15:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-review Status: Awaiting review from the assignee but also interested parties.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants