Create scope for synthesized property decl. (#5817)

Co-authored-by: Ellie Hermaszewska <ellieh@nvidia.com>

1 files changed, 24 insertions, 0 deletions

diff --git a/tests/bugs/dynamic-interface-property.slang b/tests/bugs/dynamic-interface-property.slang
new file mode 100644
index 000000000..4243ce71b
--- /dev/null
+++ b/tests/bugs/dynamic-interface-property.slang
@@ -0,0 +1,24 @@
+//TEST:COMPARE_COMPUTE(filecheck-buffer=CHECK):-output-using-type
+
+public interface ITest {
+    property int value;
+};
+
+struct Test : ITest {
+    int value;
+};
+
+//TEST_INPUT: type_conformance Test:ITest = 1;
+
+//TEST_INPUT: set inputBuffer = ubuffer(data=[0 0 1 0 1 0 0 0], stride=4)
+RWStructuredBuffer<ITest> inputBuffer;
+
+//TEST_INPUT:ubuffer(data=[0 0 0 0], stride=4):out,name=outputBuffer
+RWStructuredBuffer<int> outputBuffer;
+
+[NumThreads(1, 1, 1)]
+void computeMain()
+{
+    // CHECK: 1
+    outputBuffer[0] = inputBuffer[0].value;
+}