From 093bf1eb9149ba82258b5a5a159b2f54263b17c2 Mon Sep 17 00:00:00 2001
From: Yong He <yonghe@outlook.com>
Date: Tue, 31 Oct 2017 11:12:08 -0400
Subject: work in-progress: type checking associated types

---
 source/slang/type-defs.h | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'source/slang/type-defs.h')

diff --git a/source/slang/type-defs.h b/source/slang/type-defs.h
index 7648e0b87..15dfe3e07 100644
--- a/source/slang/type-defs.h
+++ b/source/slang/type-defs.h
@@ -495,6 +495,7 @@ END_SYNTAX_CLASS()
 // The "type" of an expression that references a asscoiated type decl (via 'assoctype' keyword).
 SYNTAX_CLASS(AssocTypeDeclRefType, Type)
     DECL_FIELD(DeclRef<AssocTypeDecl>, declRef)
+
     RAW(
     AssocTypeDeclRefType()
     {}
@@ -509,6 +510,7 @@ SYNTAX_CLASS(AssocTypeDeclRefType, Type)
     virtual String ToString() override;
 
     protected:
+        virtual RefPtr<Val> SubstituteImpl(Substitutions* subst, int* ioDiff) override;
         virtual bool EqualsImpl(Type * type) override;
         virtual int GetHashCode() override;
         virtual Type* CreateCanonicalType() override;
-- 
cgit v1.2.3