Skip to content

Update rule ID for 'Unnecessary call to Set.Contains'#69282

Merged
333fred merged 2 commits intodotnet:mainfrom
mpidash:do-not-guard-sets-new-ruleid
Aug 23, 2023
Merged

Update rule ID for 'Unnecessary call to Set.Contains'#69282
333fred merged 2 commits intodotnet:mainfrom
mpidash:do-not-guard-sets-new-ruleid

Conversation

@mpidash
Copy link
Copy Markdown
Contributor

@mpidash mpidash commented Jul 28, 2023

Follow-up to #69179.

Another analyzer used CA1865, so this rule now uses CA1868.
Also fixed a diagnostic found during final testing of the PR for the analyzer.

@mpidash mpidash requested review from a team as code owners July 28, 2023 20:37
@ghost ghost added Area-Infrastructure untriaged Issues and PRs which have not yet been triaged by a lead Community The pull request was submitted by a contributor who is not a Microsoft employee. labels Jul 28, 2023
Comment thread eng/config/globalconfigs/Common.globalconfig
@333fred
Copy link
Copy Markdown
Member

333fred commented Aug 22, 2023

/azp run

@azure-pipelines
Copy link
Copy Markdown

Azure Pipelines successfully started running 4 pipeline(s).

Copy link
Copy Markdown
Member

@333fred 333fred left a comment

Choose a reason for hiding this comment

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

LGTM (commit 2), provided tests are passing. @dotnet/roslyn-compiler for a second review.

@333fred 333fred added this to the 17.8 milestone Aug 22, 2023
@333fred 333fred removed the untriaged Issues and PRs which have not yet been triaged by a lead label Aug 22, 2023
@333fred 333fred merged commit 384ff53 into dotnet:main Aug 23, 2023
@ghost ghost modified the milestones: 17.8, Next Aug 23, 2023
@dibarbet dibarbet modified the milestones: Next, 17.8 P2 Aug 28, 2023
@mpidash mpidash deleted the do-not-guard-sets-new-ruleid branch September 23, 2023 12:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Area-Infrastructure Community The pull request was submitted by a contributor who is not a Microsoft employee.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants