HIR Impl Specialisation - Check param bounds for overlap

1 files changed, 15 insertions, 1 deletions

diff --git a/src/hir/hir.cpp b/src/hir/hir.cpp
index a8cffda2..5b43c1c9 100644
--- a/src/hir/hir.cpp
+++ b/src/hir/hir.cpp
@@ -917,7 +917,21 @@ bool ::HIR::TraitImpl::overlaps_with(const Crate& crate, const ::HIR::TraitImpl&
 
                     // Determine if `ty` would be bounded (it's an ATY or generic)
                     if( ty.m_data.is_Generic() ) {
-                        TODO(Span(), "Check bound " << ty << " : " << trait << " in source bounds - " << g_src.m_params.fmt_bounds());
+                        bool found = false;
+                        for(const auto& bound : g_src.m_params.m_bounds)
+                        {
+                            if(const auto* be = bound.opt_TraitBound())
+                            {
+                                if( be->type != ty ) continue;
+                                if( be->trait != trait ) continue;
+                                found = true;
+                            }
+                        }
+                        if( !found )
+                        {
+                            DEBUG("No matching bound for " << ty << " : " << trait << " in source bounds - " << g_src.m_params.fmt_bounds());
+                            return false;
+                        }
                     }
                     else if( TU_TEST1(ty.m_data, Path, .binding.is_Opaque()) ) {
                         TODO(Span(), "Check bound " << ty << " : " << trait << " in source bounds or trait bounds");