Add CA1868: Unnecessary call to Set.Contains(item) (#6767)

* Add analyzer and fixer for CA1865

This analyzer detects when either `Set.Add` or `Set.Remove` is guarded
by `Set.Contains`. A fix is only suggested when the conditional body
has a single statement that is either one of the former two methods.

* Add CA1865 to Microsoft.CodeAnalysis.NetAnalyzers.md

* Add CA1865 to RulesMissingDocumentation.md

* Update DoNotGuardSetAddOrRemoveByContainsDescription

* Add ExportCodeFixProviderAttribute

* Remove call to First with call to indexer

* Change equivalenceKey of CodeAction

* Check for interface implementation instead of signature match

* Remove call to First with call to indexer

* Add additional tests

* Fix ifs with additional statements

* Fix single line ifs in VB

* Add fixer case for single line ifs in VB

* CA1865: Add tests for other set types

* CA1865: Check descendants instead of switch

* CA1865: Do not fire when arguments are different

* CA1865: Change fixer title

* CA1865: Update resources

* WIP: Try to handle IImmutableSet Add and Remove

* Apply suggestions from code review

* CA1865: Use original definitions to filter methods

* Check parameter length before using them

* Only check child operations instead of descendants

This ensures that nested Add or Remove calls are not flagged.

* Fix diagnostic message

* Also flag when interface types are used

* Use helper class for required symbols

* Only compare first argument value

This is sufficient as each method involved only has one argument.

* Make symbol display format static

* Update DoNotGuardSetAddOrRemoveByContainsTitle

* Change condition to pattern matching

* Add tests for ternary operators

* Use raw strings and inline class and usings

* Support Add or Remove in else block

* Support ternary operator (diagnostic only)

* Move from CA1865 to CA1868

---------

Co-authored-by: Buyaa Namnan <buyankhishig.namnan@microsoft.com>
Co-authored-by: Sam Harwell <sam@tunnelvisionlabs.com>

Author: 3 people

src/Utilities/Compiler/DiagnosticCategoryAndIdRanges.txt

@@ -1,4 +1,4 @@
-# This file contains the allowed analyzer rule "Category" and corresponding "Diagnostic ID range"
+# This file contains the allowed analyzer rule "Category" and corresponding "Diagnostic ID range"
 # FORMAT:
 # 'Category': Comma separate list of 'StartId-EndId' or 'Id' or 'Prefix'
 
@@ -12,7 +12,7 @@
 Design: CA2210, CA1000-CA1070
 Globalization: CA2101, CA1300-CA1311
 Mobility: CA1600-CA1601
-Performance: HA, CA1800-CA1867
+Performance: HA, CA1800-CA1868
 Security: CA2100-CA2153, CA2300-CA2330, CA3000-CA3147, CA5300-CA5405
 Usage: CA1801, CA1806, CA1816, CA2200-CA2209, CA2211-CA2261
 Naming: CA1700-CA1727