Skip to content

Document diagnostics supersede workspace diagnostics#49408

Merged
5 commits merged intodotnet:masterfrom
CyrusNajmabadi:supersedes
Nov 17, 2020
Merged

Document diagnostics supersede workspace diagnostics#49408
5 commits merged intodotnet:masterfrom
CyrusNajmabadi:supersedes

Conversation

@CyrusNajmabadi
Copy link
Contributor

No description provided.

…pacePullDiagnosticHandler.cs

Co-authored-by: Allison Chou <allichou@microsoft.com>

protected override DiagnosticReport CreateReport(TextDocumentIdentifier? identifier, VSDiagnostic[]? diagnostics, string? resultId)
=> new DiagnosticReport { Diagnostics = diagnostics, ResultId = resultId };
=> new DiagnosticReport
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Should we set an Identifier here just in case? I worry that the workspace report technically has Supersedes = 0, and this has an identifier of 0, and whilst I'm sure the platform handles that, it still makes me nervous.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

sure. i dont' mind being explicit.

@ghost
Copy link

ghost commented Nov 17, 2020

Hello @CyrusNajmabadi!

Because this pull request has the auto-merge label, I will be glad to assist with helping to merge this pull request once all check-in policies pass.

p.s. you can customize the way I help with merging this pull request, such as holding this pull request until a specific person approves. Simply @mention me (@msftbot) and give me an instruction to get started! Learn more here.

Copy link

@ghost ghost left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Auto-approval

@ghost ghost merged commit 8861cf5 into dotnet:master Nov 17, 2020
@ghost ghost added this to the Next milestone Nov 17, 2020
@CyrusNajmabadi CyrusNajmabadi deleted the supersedes branch November 17, 2020 18:27
@allisonchou allisonchou modified the milestones: Next, 16.9.P2 Nov 24, 2020
This pull request was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants