From ee88b79f163a699b6e9123fa322e906c5f95aa66 Mon Sep 17 00:00:00 2001
From: John Hodge <tpg@mutabah.net>
Date: Thu, 17 Nov 2016 15:27:53 +0800
Subject: HIR Typecheck Expr - Extend Opaque=fuzzy hack

---
 src/hir/type.cpp | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/hir/type.cpp')

diff --git a/src/hir/type.cpp b/src/hir/type.cpp
index fafbc670..b430f2b5 100644
--- a/src/hir/type.cpp
+++ b/src/hir/type.cpp
@@ -648,6 +648,10 @@ bool ::HIR::TypeRef::match_test_generics(const Span& sp, const ::HIR::TypeRef& x
             if( te.binding.is_Unbound() || xe.binding.is_Unbound() ) {
                 rv = ::HIR::Compare::Fuzzy;
             }
+            if( te.binding.is_Opaque() ) {
+                DEBUG("- Fuzzy match due to opaque");
+                return Compare::Fuzzy;
+            }
         }
         return rv;
         ),
-- 
cgit v1.2.3