From 17c7163c2ae8fc290e70b43d8700b68ef18b1ee1 Mon Sep 17 00:00:00 2001
From: Yong He <yonghe@outlook.com>
Date: Fri, 6 Oct 2023 14:03:18 -0700
Subject: Small type system fixes. (#3265)

---
 tests/diagnostics/property-readonly-lvalue.slang | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 tests/diagnostics/property-readonly-lvalue.slang

(limited to 'tests')

diff --git a/tests/diagnostics/property-readonly-lvalue.slang b/tests/diagnostics/property-readonly-lvalue.slang
new file mode 100644
index 000000000..ec7263f17
--- /dev/null
+++ b/tests/diagnostics/property-readonly-lvalue.slang
@@ -0,0 +1,14 @@
+//DIAGNOSTIC_TEST:SIMPLE(filecheck=CHECK):
+// use read-only property as l-value
+
+struct MyType
+{
+    property float3 prop { get { return float3(1, 2, 3);}}
+}
+
+void test()
+{
+    MyType t;
+    // CHECK: {{.*}}error 30047: argument passed to parameter '0' must be l-value.
+    t.prop.x += 1.0;
+}
-- 
cgit v1.2.3