HIR Typecheck - Use specialisable flag

1 files changed, 6 insertions, 1 deletions

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;