From 113f3e880b403b1bf04bc60ca8cc11df5546a4d9 Mon Sep 17 00:00:00 2001
From: Michael Nebel <michaelnebel@github.com>
Date: Wed, 11 Feb 2026 14:55:55 +0100
Subject: [PATCH] C#: Add property test case where the field keyword is used.

---
 .../library-tests/properties/PrintAst.expected   | 16 ++++++++++++++++
 .../properties/Properties17.expected             |  1 +
 .../library-tests/properties/Properties17.ql     |  2 +-
 .../test/library-tests/properties/properties.cs  |  9 +++++++++
 4 files changed, 27 insertions(+), 1 deletion(-)

diff --git a/csharp/ql/test/library-tests/properties/PrintAst.expected b/csharp/ql/test/library-tests/properties/PrintAst.expected
index 2df3ee3f5e8..711e417558e 100644
--- a/csharp/ql/test/library-tests/properties/PrintAst.expected
+++ b/csharp/ql/test/library-tests/properties/PrintAst.expected
@@ -230,3 +230,19 @@ properties.cs:
 #-----|         2: (Parameters)
 #  124|           0: [Parameter] value
 #  124|         4: [BlockStmt] {...}
+#  128|   10: [Class] UseFieldKeyword
+#  130|     6: [Property] Prop
+#  130|       -1: [TypeMention] object
+#  132|       3: [Getter] get_Prop
+#  132|         4: [BlockStmt] {...}
+#  132|           0: [ReturnStmt] return ...;
+#  132|             0: [FieldAccess] access to field Prop.field
+#  133|       4: [Setter] set_Prop
+#-----|         2: (Parameters)
+#  133|           0: [Parameter] value
+#  133|         4: [BlockStmt] {...}
+#  133|           0: [ExprStmt] ...;
+#  133|             0: [AssignExpr] ... = ...
+#  133|               0: [FieldAccess] access to field Prop.field
+#  133|               1: [ParameterAccess] access to parameter value
+#  130|     7: [Field] Prop.field
diff --git a/csharp/ql/test/library-tests/properties/Properties17.expected b/csharp/ql/test/library-tests/properties/Properties17.expected
index 47b563e2676..ee817a63df9 100644
--- a/csharp/ql/test/library-tests/properties/Properties17.expected
+++ b/csharp/ql/test/library-tests/properties/Properties17.expected
@@ -1,3 +1,4 @@
+| Prop.field |
 | caption |
 | next |
 | y |
diff --git a/csharp/ql/test/library-tests/properties/Properties17.ql b/csharp/ql/test/library-tests/properties/Properties17.ql
index ca53f5423aa..6bd668ec118 100644
--- a/csharp/ql/test/library-tests/properties/Properties17.ql
+++ b/csharp/ql/test/library-tests/properties/Properties17.ql
@@ -1,5 +1,5 @@
 /**
- * @name Test that there are no backing fields
+ * @name Test that there are no backing fields except for properties that use the `field` keyword in their getter or setter.
  */
 
 import csharp
diff --git a/csharp/ql/test/library-tests/properties/properties.cs b/csharp/ql/test/library-tests/properties/properties.cs
index 57ffa7a31a5..2f88214ec75 100644
--- a/csharp/ql/test/library-tests/properties/properties.cs
+++ b/csharp/ql/test/library-tests/properties/properties.cs
@@ -124,4 +124,13 @@ namespace Properties
             set { }
         }
     }
+
+    class UseFieldKeyword
+    {
+        public object Prop
+        {
+            get { return field; }
+            set { field = value; }
+        }
+    }
 }