HIR - Don't yield impls for a unbounded ivar Self

1 files changed, 2 insertions, 1 deletions

diff --git a/src/hir/hir.cpp b/src/hir/hir.cpp
index fb0cdbd3..a0b2b21d 100644
--- a/src/hir/hir.cpp
+++ b/src/hir/hir.cpp
@@ -344,7 +344,8 @@ bool ::HIR::TraitImpl::matches_type(const ::HIR::TypeRef& type, ::HIR::t_cb_reso
 {
     // NOTE: Don't return any impls when the type is an unbouned ivar. Wouldn't be able to pick anything anyway
     // TODO: For `Unbound`, it could be valid, if the target is a generic.
-    if( /*is_unbounded_infer(type) ||*/ TU_TEST1(type.m_data, Path, .binding.is_Unbound()) ) {
+    // - Pure infer could also be useful (for knowing if there's any other potential impls)
+    if( is_unbounded_infer(type) || TU_TEST1(type.m_data, Path, .binding.is_Unbound()) ) {
         return false;
     }
     return matches_type_int(m_params, m_type, type, ty_res, true);