HIR Typecheck CS - Sized trait

1 files changed, 22 insertions, 0 deletions

diff --git a/src/hir_typeck/helpers.cpp b/src/hir_typeck/helpers.cpp
index bcc2fbde..9646b239 100644
--- a/src/hir_typeck/helpers.cpp
+++ b/src/hir_typeck/helpers.cpp
@@ -909,6 +909,28 @@ bool TraitResolution::find_trait_impls(const Span& sp,
     const auto& type = this->m_ivars.get_type(ty);
     TRACE_FUNCTION_F("trait = " << trait << ", type = " << type);
     
+    if( trait == this->m_crate.get_lang_item_path(sp, "sized") ) {
+        TU_MATCH_DEF(::HIR::TypeRef::Data, (type.m_data), (e),
+        (
+            // Any unknown - it's sized
+            ),
+        (Primitive,
+            if( e == ::HIR::CoreType::Str )
+                return false;
+            ),
+        (Slice,
+            return false;
+            ),
+        (Path,
+            // ... TODO (Search the innards or bounds)
+            ),
+        (TraitObject,
+            return false;
+            )
+        )
+        return callback( type, ::HIR::PathParams(), {} );
+    }
+       
     // Closures are magical. They're unnamable and all trait impls come from within the compiler
     TU_IFLET(::HIR::TypeRef::Data, type.m_data, Closure, e,
         const auto trait_fn = this->m_crate.get_lang_item_path(sp, "fn");