From bdb0eb302b17e999a322fbb1d0b18c6b25bae78b Mon Sep 17 00:00:00 2001
From: John Hodge <tpg@mutabah.net>
Date: Mon, 1 Aug 2016 12:48:51 +0800
Subject: HIR Typecheck - Use specialisable flag

---
 src/hir_typeck/static.cpp | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/hir_typeck/static.cpp b/src/hir_typeck/static.cpp
index 7b5e5cd8..d987f682 100644
--- a/src/hir_typeck/static.cpp
+++ b/src/hir_typeck/static.cpp
@@ -587,7 +587,12 @@ bool ImplRef::type_is_specializable(const char* name) const
             return true;
         }
         //TODO(Span(), "type_is_specializable - Impl = " << *this << ", Type = " << name);
-        return true;
+        auto it = e.impl->m_types.find(name);
+        if( it == e.impl->m_types.end() ) {
+            TODO(Span(), "Handle missing type in " << *this << ", name = " << name);
+            return false;
+        }
+        return it->second.is_specialisable;
         ),
     (BoundedPtr,
         return false;
-- 
cgit v1.2.3