C#: With expression examples for record structs, structs and anonymous types.

Author: michaelnebel

csharp/ql/test/library-tests/csharp10/RecordTypes.cs

@@ -9,4 +9,4 @@ public record class MyClassRecord(DateTime stuff) { }
 
 public readonly record struct MyReadonlyRecordStruct(string Stuff) { }
 
-public record struct MyRecordStruct(int Stuff) { }
+public record struct MyRecordStruct1(int Stuff) { }

csharp/ql/test/library-tests/csharp10/WithExpression.cs

@@ -0,0 +1,30 @@
+using System;
+
+public struct MyStruct
+{
+    public int X;
+    public MyStruct(int x) => X = x;
+}
+
+public record struct MyRecordStruct2(int Y) { }
+
+public class MyWithExamples
+{
+    public void M1()
+    {
+        var s1 = new MyStruct(1);
+        var s2 = s1 with { X = 2 };
+    }
+
+    public void M2()
+    {
+        var r1 = new MyRecordStruct2(4);
+        var r2 = r1 with { Y = 6 };
+    }
+
+    public void M3()
+    {
+        var anon1 = new { A = 3, B = 4 };
+        var anon2 = anon1 with { A = 5 };
+    }
+}

csharp/ql/test/library-tests/csharp10/recordTypes.expected

@@ -2,10 +2,12 @@ recordTypes
 | RecordTypes.cs:3:1:6:2 | MyEntry |
 | RecordTypes.cs:8:1:8:53 | MyClassRecord |
 | RecordTypes.cs:10:1:10:70 | MyReadonlyRecordStruct |
-| RecordTypes.cs:12:1:12:50 | MyRecordStruct |
+| RecordTypes.cs:12:1:12:51 | MyRecordStruct1 |
+| WithExpression.cs:9:1:9:47 | MyRecordStruct2 |
 recordStructs
 | RecordTypes.cs:10:1:10:70 | MyReadonlyRecordStruct |
-| RecordTypes.cs:12:1:12:50 | MyRecordStruct |
+| RecordTypes.cs:12:1:12:51 | MyRecordStruct1 |
+| WithExpression.cs:9:1:9:47 | MyRecordStruct2 |
 recordClass
 | RecordTypes.cs:3:1:6:2 | MyEntry |
 | RecordTypes.cs:8:1:8:53 | MyClassRecord |