HIR Typecheck - Use a proper fuzzy match when comparing bound type params

1 files changed, 1 insertions, 9 deletions

diff --git a/src/hir_typeck/helpers.cpp b/src/hir_typeck/helpers.cpp
index a7094f5d..f8483cdc 100644
--- a/src/hir_typeck/helpers.cpp
+++ b/src/hir_typeck/helpers.cpp
@@ -1693,16 +1693,8 @@ bool TraitResolution::find_trait_impls_crate(const Span& sp,
                     impl_params[idx] = &ty;
                     return ::HIR::Compare::Equal;
                 }
-                else if( this->m_ivars.types_equal(*impl_params[idx], ty) ) {
-                    // Fall
-                    return ::HIR::Compare::Equal;
-                }
-                else if( ty.m_data.is_Infer() ) {
-                    // Fall
-                    return (match = ::HIR::Compare::Fuzzy);
-                }
                 else {
-                    return (match = ::HIR::Compare::Unequal);
+                    return impl_params[idx]->compare_with_placeholders(sp, ty, this->m_ivars.callback_resolve_infer());
                 }
                 };
             match &= impl.m_type.match_test_generics_fuzz(sp, type , this->m_ivars.callback_resolve_infer(), cb);