work in-progress: type checking associated types

1 files changed, 11 insertions, 1 deletions

diff --git a/source/slang/emit.cpp b/source/slang/emit.cpp
index 2e8ab58d4..3454a3f85 100644
--- a/source/slang/emit.cpp
+++ b/source/slang/emit.cpp
@@ -1039,7 +1039,6 @@ struct EmitVisitor
     UNEXPECTED(PtrType);
 
 #undef UNEXPECTED
-
     void visitNamedExpressionType(NamedExpressionType* type, TypeEmitArg const& arg)
     {
         // Named types are valid for GLSL
@@ -1053,6 +1052,11 @@ struct EmitVisitor
         EmitDeclarator(arg.declarator);
     }
 
+    void visitAssocTypeDeclRefType(AssocTypeDeclRefType* /*type*/, TypeEmitArg const& /*arg*/)
+    {
+        SLANG_UNREACHABLE("visitAssocTypeDeclRefType in EmitVisitor");
+    }
+
     void visitBasicExpressionType(BasicExpressionType* basicType, TypeEmitArg const& arg)
     {
         auto declarator = arg.declarator;
@@ -3009,6 +3013,12 @@ struct EmitVisitor
         Emit(";\n");
     }
 
+    void visitAssocTypeDecl(AssocTypeDecl * /*assocType*/, DeclEmitArg const&)
+    {
+        SLANG_UNREACHABLE("visitAssocTypeDecl in EmitVisitor");
+    }
+
+
     void visitImportDecl(ImportDecl* decl, DeclEmitArg const&)
     {
         // When in "rewriter" mode, we need to emit the code of the imported