diff options
| author | Yong He <yonghe@outlook.com> | 2017-10-31 11:12:08 -0400 |
|---|---|---|
| committer | Yong He <yonghe@outlook.com> | 2017-10-31 11:12:08 -0400 |
| commit | 093bf1eb9149ba82258b5a5a159b2f54263b17c2 (patch) | |
| tree | 8ee5c2bd4b730d3bd446546dd50f0284d3e47161 /source/slang/type-defs.h | |
| parent | 84f381cc180b3176d6a58da4085ee8470f246922 (diff) | |
work in-progress: type checking associated types
Diffstat (limited to 'source/slang/type-defs.h')
| -rw-r--r-- | source/slang/type-defs.h | 2 |
1 files changed, 2 insertions, 0 deletions
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; |