work in-progress: type checking associated types

1 files changed, 15 insertions, 0 deletions

diff --git a/source/slang/lower.cpp b/source/slang/lower.cpp
index 0f16a8ad7..776a55530 100644
--- a/source/slang/lower.cpp
+++ b/source/slang/lower.cpp
@@ -765,6 +765,7 @@ struct LoweringVisitor
             loweredDeclRef.As<Decl>());
     }
 
+
     RefPtr<Type> visitNamedExpressionType(NamedExpressionType* type)
     {
         if (shared->target == CodeGenTarget::GLSL)
@@ -778,6 +779,13 @@ struct LoweringVisitor
             translateDeclRef(DeclRef<Decl>(type->declRef)).As<TypeDefDecl>());
     }
 
+    RefPtr<Type> visitAssocTypeDeclRefType(AssocTypeDeclRefType* type)
+    {
+        // not supported by lowering
+        SLANG_UNREACHABLE("visitAssocTypeDeclRefType in LowerVisitor");
+        return nullptr;
+    }
+
     RefPtr<Type> visitTypeType(TypeType* type)
     {
         return getTypeType(lowerType(type->type));
@@ -2820,6 +2828,13 @@ struct LoweringVisitor
         return LoweredDecl();
     }
 
+    LoweredDecl visitAssocTypeDecl(AssocTypeDecl * /*assocType*/)
+    {
+        // not supported
+        SLANG_UNREACHABLE("visitAssocTypeDecl in LowerVisitor");
+        return LoweredDecl();
+    }
+
     LoweredDecl visitTypeDefDecl(TypeDefDecl* decl)
     {
         if (shared->target == CodeGenTarget::GLSL)