diff options
Diffstat (limited to 'src/hir/type.cpp')
| -rw-r--r-- | src/hir/type.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/hir/type.cpp b/src/hir/type.cpp index 1e67d60c..c5e1984a 100644 --- a/src/hir/type.cpp +++ b/src/hir/type.cpp @@ -581,17 +581,17 @@ bool ::HIR::TypeRef::match_test_generics(const Span& sp, const ::HIR::TypeRef& x // HACK: If the path is Opaque, return a fuzzy match. // - This works around an impl selection bug. if( v.m_data.is_Path() && v.m_data.as_Path().binding.is_Opaque() ) { - DEBUG("- Fuzzy match due to opaque"); + DEBUG("- Fuzzy match due to opaque - " << v << " = " << x); return Compare::Fuzzy; } // HACK: If RHS is unbound, fuzz it if( x.m_data.is_Path() && x.m_data.as_Path().binding.is_Unbound() ) { - DEBUG("- Fuzzy match due to unbound"); + DEBUG("- Fuzzy match due to unbound - " << v << " = " << x); return Compare::Fuzzy; } // HACK: If the RHS is a placeholder generic, allow it. if( x.m_data.is_Generic() && (x.m_data.as_Generic().binding >> 8) == 2 ) { - DEBUG("- Fuzzy match due to placeholder"); + DEBUG("- Fuzzy match due to placeholder - " << v << " = " << x); return Compare::Fuzzy; } DEBUG("- Tag mismatch " << v << " and " << x); |