Fixes

.globalconfig

@@ -263,3 +263,9 @@ dotnet_diagnostic.IDE0290.severity = none
 
 # CA1859: use concrete types when possible for improved performance
 dotnet_diagnostic.CA1859.severity = none
+
+# SA1600: Elements should be documented
+dotnet_diagnostic.SA1600.severity = none
+
+# SA1601: Partial elements should be documented
+dotnet_diagnostic.SA1601.severity = none

csharp/Ice/minimal/Printer.cs

@@ -6,6 +6,7 @@
 public class Printer : HelloDisp_
 {
     /// <summary>Prints a message to the standard output.</summary>
+    /// <param name="current">The current object of the corresponding incoming request.</param>
     public override void sayHello(Ice.Current current)
     {
         Console.WriteLine("Hello World!");

csharp/Ice/partial/Measurements.cs

@@ -9,7 +9,7 @@ public partial record struct Distance
     {
         public double Yards
         {
-            get
+            readonly get
             {
                 return value * YardConversionFactor;
             }
@@ -22,7 +22,7 @@ public double Yards
 
         public double Meters
         {
-            get
+            readonly get
             {
                 return value;
             }