Merge pull request #7562 from michaelnebel/csharp/record-seal-tostring

C#: Record types are allowed to seal ToString (test only).

Author: michaelnebel

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

@@ -0,0 +1,6 @@
+using System;
+
+public record MyEntry(string Name, string Address)
+{
+    sealed public override string ToString() => $"{Name} lives at {Address}";
+};

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

@@ -0,0 +1 @@
+| RecordTypeSealedToString.cs:5:35:5:42 | ToString |

csharp/ql/test/library-tests/csharp10/recordTypeSealedToString.ql

@@ -0,0 +1,3 @@
+import csharp
+
+query predicate sealed(Modifiable m) { m.getDeclaringType().fromSource() and m.isSealed() }