HIR Typecheck - Tweak matching of const generics

thepowersgang · Jan 7, 2024 · 31f5294 · 31f5294
1 parent c6182b1
commit 31f5294
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/src/hir_typeck/helpers.cpp b/src/hir_typeck/helpers.cpp
@@ -3148,6 +3148,12 @@ ::HIR::Compare TraitResolution::ftic_check_params(const Span& sp, const ::HIR::S
                 if( out_impl_params.m_values[g.binding] == sz ) {
                     return ::HIR::Compare::Equal;
                 }
+                if( out_impl_params.m_values[g.binding].is_Infer() ) {
+                    return ::HIR::Compare::Fuzzy;
+                }
+                if( sz.is_Infer() ) {
+                    return ::HIR::Compare::Fuzzy;
+                }
                 TODO(Span(), "PtrImplMatcher::match_val " << g << "(" << out_impl_params.m_values[g.binding] << ") with " << sz);
             }
         }