add ide0290 (#38008)

Author: gewarren

docs/csharp/programming-guide/classes-and-structs/instance-constructors.md

@@ -41,7 +41,7 @@ Beginning in C# 12, you can declare a *primary constructor* in classes and struc
 
 The parameters to a primary constructor are in scope in the entire body of the declaring type. They can initialize properties or fields. They can be used as variables in methods or local functions. They can be passed to a base constructor.
 
-A primary constructor indicates that these parameters are necessary for any instance of a type. Any explicitly written constructor must use the `this(...)` initializer syntax to invoke the primary constructor. That ensures that the primary constructor parameters are definitely assigned by all constructors. For any `class` type, including `record class` types, the implicit parameterless constructor isn't emitted when a primary constructor is present. For any `struct` type, including `record struct` types, the implicit parameterless constructor is always emitted, and always initializes all fields, including primary constructor parameters, to the 0-bit pattern. If you write an explicit parameterless constructor, it must invoke the primary constructor. In that case, you can specify a different value for the primary constructor parameters. The following code shows examples of primary constructors.
+A primary constructor indicates that these parameters are necessary for any instance of the type. Any explicitly written constructor must use the `this(...)` initializer syntax to invoke the primary constructor. That ensures that the primary constructor parameters are definitely assigned by all constructors. For any `class` type, including `record class` types, the implicit parameterless constructor isn't emitted when a primary constructor is present. For any `struct` type, including `record struct` types, the implicit parameterless constructor is always emitted, and always initializes all fields, including primary constructor parameters, to the 0-bit pattern. If you write an explicit parameterless constructor, it must invoke the primary constructor. In that case, you can specify a different value for the primary constructor parameters. The following code shows examples of primary constructors.
 
 :::code language="csharp" source="./snippets/instance-constructors/widgets/Program.cs" id="DerivedPrimaryConstructor":::
 

docs/fundamentals/code-analysis/style-rules/ide0290.md

@@ -0,0 +1,79 @@
+---
+title: "IDE0290: Use primary constructor"
+description: "Learn about code analysis rule IDE0290: Use primary constructor"
+ms.date: 11/10/2023
+f1_keywords:
+- IDE0290
+helpviewer_keywords:
+- IDE0290
+dev_langs:
+- CSharp
+---
+# Use primary constructor (IDE0290)
+
+| Property                 | Value                                         |
+|--------------------------|-----------------------------------------------|
+| **Rule ID**              | IDE0290                                       |
+| **Title**                | Use primary constructor                       |
+| **Category**             | Style                                         |
+| **Subcategory**          | Language rules (code block preferences)       |
+| **Applicable languages** | C# 12+                                        |
+| **Options**              | `csharp_style_prefer_primary_constructors`    |
+
+## Overview
+
+This rule flags classes that can use a [primary constructor](../../../csharp/programming-guide/classes-and-structs/instance-constructors.md#primary-constructors) instead of a separate constructor definition. You define a primary constructor by placing any constructor parameters in parentheses following the type name. A primary constructor indicates that these parameters are necessary for any instance of the type.
+
+## Options
+
+Options specify the behavior that you want the rule to enforce. For information about configuring options, see [Option format](language-rules.md#option-format).
+
+### csharp_style_prefer_primary_constructors
+
+| Property                 | Value                                    | Description                         |
+|--------------------------|------------------------------------------|-------------------------------------|
+| **Option name**          | csharp_style_prefer_primary_constructors |                                     |
+| **Option values**        | `true`                                   | Prefer to use primary constructors. |
+|                          | `false`                                  | Disables the rule.                  |
+| **Default option value** | `true`                                   |                                     |
+
+## Example
+
+```csharp
+// Code with violations.
+class C
+{
+    public C(int i) { }
+}
+
+// Fixed code.
+class C(int i)
+{
+}
+```
+
+## Suppress a warning
+
+If you want to suppress only a single violation, add preprocessor directives to your source file to disable and then re-enable the rule.
+
+```csharp
+#pragma warning disable IDE0290
+// The code that's violating the rule is on this line.
+#pragma warning restore IDE0290
+```
+
+To disable the rule for a file, folder, or project, set its severity to `none` in the [configuration file](../configuration-files.md).
+
+```ini
+[*.{cs,vb}]
+dotnet_diagnostic.IDE0290.severity = none
+```
+
+To disable all of the code-style rules, set the severity for the category `Style` to `none` in the [configuration file](../configuration-files.md).
+
+```ini
+[*.{cs,vb}]
+dotnet_analyzer_diagnostic.category-Style.severity = none
+```
+
+For more information, see [How to suppress code analysis warnings](../suppress-warnings.md).

docs/fundamentals/code-analysis/style-rules/index.md

@@ -1,7 +1,7 @@
 ---
 title: Code-style rules overview
 description: Learn about the different .NET code-style rules and categories.
-ms.date: 07/22/2023
+ms.date: 11/10/2023
 author: gewarren
 ms.author: gewarren
 ---
@@ -132,6 +132,7 @@ The following table list all the code-style rules by ID and [options](../code-st
 > | [IDE0260](ide0078-ide0260.md) | Use pattern matching | [csharp_style_pattern_matching_over_as_with_null_check](ide0078-ide0260.md#csharp_style_pattern_matching_over_as_with_null_check-ide0260) |
 > | [IDE0270](ide0029-ide0030-ide0270.md) | Null check can be simplified | [dotnet_style_coalesce_expression](ide0029-ide0030-ide0270.md#dotnet_style_coalesce_expression) |
 > | [IDE0280](ide0280.md) | Use `nameof` | |
+> | [IDE0290](ide0290.md) | Use primary constructor | [csharp_style_prefer_primary_constructors](ide0290.md#csharp_style_prefer_primary_constructors) |
 > | [IDE1005](ide1005.md) | Use conditional delegate call | [csharp_style_conditional_delegate_call](ide1005.md#csharp_style_conditional_delegate_call) |
 > | [IDE1006](naming-rules.md) | Naming styles | |
 

docs/fundamentals/code-analysis/style-rules/language-rules.md

@@ -1,7 +1,7 @@
 ---
 title: Code-style language and unnecessary code rules
 description: Learn about the different code-style rules for using C# and Visual Basic language constructs and for finding unnecessary code.
-ms.date: 07/22/2023
+ms.date: 11/10/2023
 helpviewer_keywords:
 - language code style rules [EditorConfig]
 - language rules
@@ -91,6 +91,7 @@ C# style rules:
 - [Remove unnecessary lambda expression (IDE0200)](ide0200.md)
 - [Convert to top-level statements (IDE0210)](ide0210.md)
 - [Convert to 'Program.Main' style program (IDE0211)](ide0211.md)
+- [Use primary constructor (IDE0290)](ide0290.md)
 
 ### Expression-bodied members
 

docs/navigate/tools-diagnostics/toc.yml

@@ -1544,6 +1544,8 @@ items:
                     href: ../../fundamentals/code-analysis/style-rules/ide0029-ide0030-ide0270.md
                   - name: IDE0280
                     href: ../../fundamentals/code-analysis/style-rules/ide0280.md
+                  - name: IDE0290
+                    href: ../../fundamentals/code-analysis/style-rules/ide0290.md
                   - name: IDE1005
                     href: ../../fundamentals/code-analysis/style-rules/ide1005.md
               - name: Miscellaneous rules