From 91e474dcd8df8bf762733d9cc484cf05cc8ef9ea Mon Sep 17 00:00:00 2001
From: John Hodge <tpg@mutabah.net>
Date: Sun, 12 Feb 2017 16:01:30 +0800
Subject: HIR Typecheck Expr - Fuzzy match ivars in OIBIT checking

---
 src/hir_typeck/helpers.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/hir_typeck/helpers.cpp b/src/hir_typeck/helpers.cpp
index 33d26184..f1183157 100644
--- a/src/hir_typeck/helpers.cpp
+++ b/src/hir_typeck/helpers.cpp
@@ -2311,7 +2311,7 @@ bool TraitResolution::find_trait_impls_crate(const Span& sp,
         // NOTE: Expected behavior is for Ivars to return false
         // TODO: Should they return Compare::Fuzzy instead?
         if( type.m_data.is_Infer() ) {
-            return false;
+            return callback( ImplRef(&type, params_ptr, &null_assoc), ::HIR::Compare::Fuzzy );
         }
 
         const ::HIR::TraitMarkings* markings = nullptr;
-- 
cgit v1.2.3