work in-progress: type checking associated types

1 files changed, 14 insertions, 0 deletions

diff --git a/source/slang/syntax.cpp b/source/slang/syntax.cpp
index 165b2d132..97f3cfb15 100644
--- a/source/slang/syntax.cpp
+++ b/source/slang/syntax.cpp
@@ -957,6 +957,20 @@ void Type::accept(IValVisitor* visitor, void* extra)
         return false;
     }
 
+    RefPtr<Val> AssocTypeDeclRefType::SubstituteImpl(Substitutions* subst, int* ioDiff)
+    {
+        auto parentType = this->GetDeclRef().GetParent().SubstituteImpl(subst, ioDiff);
+        if (auto aggDeclRef = parentType.As<AggTypeDecl>())
+        {
+            Decl* targetTypeDecl = nullptr;
+            if (aggDeclRef.getDecl()->memberDictionary.TryGetValue(this->GetDeclRef().decl->getName(), targetTypeDecl))
+            {
+                return DeclRefType::Create(this->session, DeclRef<Decl>(targetTypeDecl, parentType.substitutions));
+            }
+        }
+        return this;
+    }
+
     int AssocTypeDeclRefType::GetHashCode()
     {
         return declRef.GetHashCode();