HIR Typecheck - Avoid using poorly fuzzed type expansion

thepowersgang · Jul 4, 2024 · bd44471 · bd44471
1 parent 0d3109d
commit bd44471
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/hir_typeck/helpers.cpp b/src/hir_typeck/helpers.cpp
@@ -2567,7 +2567,7 @@ void TraitResolution::expand_associated_types_inplace__UfcsKnown(const Span& sp,
             if( can_fuzz )
             {
                 count += 1;
-                if( count == 1 ) {
+                if( count == 1 && impl.get_impl_type().data().tag() == pe.type.data().tag() ) {
                     best_impl = mv$(impl);
                 }
             }