diff options
| author | John Hodge <tpg@mutabah.net> | 2016-12-01 19:05:14 +0800 |
|---|---|---|
| committer | John Hodge <tpg@mutabah.net> | 2016-12-01 19:05:14 +0800 |
| commit | 35142acbe2deacf0cee3f92ed28e3beb01c22cd5 (patch) | |
| tree | 87d07ea761ce4f4c973c417e8b0f4a6bbb1d13e0 /src/hir/type.cpp | |
| parent | 264bb4feab3e128db025a77f127b256ebf4f0e49 (diff) | |
| download | mrust-35142acbe2deacf0cee3f92ed28e3beb01c22cd5.tar.gz | |
Trans - Enumeration work structured out, vtables hacked in
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); |