diff options
| -rw-r--r-- | source/slang/slang-check-decl.cpp | 4 | ||||
| -rw-r--r-- | tests/bugs/dynamic-interface-property.slang | 24 |
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; +} |