Create scope for synthesized property decl. (#5817)

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

2 files changed, 27 insertions, 1 deletions

diff --git a/source/slang/slang-check-decl.cpp b/source/slang/slang-check-decl.cpp
index a666d9df3..7f07444dc 100644
--- a/source/slang/slang-check-decl.cpp
+++ b/source/slang/slang-check-decl.cpp
@@ -5070,7 +5070,9 @@ bool SemanticsVisitor::trySynthesizePropertyRequirementWitness(
     synPropertyDecl->nameAndLoc.name =
         getName(String("$syn_property_") + getText(requiredMemberDeclRef.getName()));
     synPropertyDecl->parentDecl = context->parentDecl;
-
+    synPropertyDecl->ownedScope = m_astBuilder->create<Scope>();
+    synPropertyDecl->ownedScope->containerDecl = synPropertyDecl;
+    synPropertyDecl->ownedScope->parent = context->parentDecl->ownedScope;
 
     // The type of our synthesized property can be derived from the
     // specialized declref to the requirement decl.
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;
+}