2 files changed, 28 insertions, 0 deletions
diff --git a/tests/diagnostics/accessors.slang b/tests/diagnostics/accessors.slang
new file mode 100644
index 000000000..578c26791
--- /dev/null
+++ b/tests/diagnostics/accessors.slang
@@ -0,0 +1,20 @@
+// properties.slang
+
+// Diagnostic messages related to property/subscript accessor declarations.
+
+//DIAGNOSTIC_TEST:SIMPLE:
+
+struct Test
+{
+	property p : int
+	{
+		get(a) { return 0; }
+
+		set(a, b) { }
+	}
+
+	property q : float
+	{
+		set(c : int) { }
+	}
+}
diff --git a/tests/diagnostics/accessors.slang.expected b/tests/diagnostics/accessors.slang.expected
new file mode 100644
index 000000000..a73f31236
--- /dev/null
+++ b/tests/diagnostics/accessors.slang.expected
@@ -0,0 +1,8 @@
+result code = -1
+standard error = {
+tests/diagnostics/accessors.slang(11): error 31101: accessors other than 'set' must not have parameters
+tests/diagnostics/accessors.slang(13): error 31102: a 'set' accessor may not have more than one parameter
+tests/diagnostics/accessors.slang(18): error 31102: 'set' parameter 'c' has type 'int' which does not match the expected type 'float'
+}
+standard output = {
+}