From f541aed0641f93432b81a13f872edf1edf5e63e3 Mon Sep 17 00:00:00 2001 From: John Hodge Date: Thu, 31 Aug 2017 16:27:41 +0800 Subject: HIR Resolve UFCS - Fix assertion failure (allow false return) --- src/hir_typeck/static.cpp | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'src/hir_typeck') diff --git a/src/hir_typeck/static.cpp b/src/hir_typeck/static.cpp index e33f29e6..57a93dc3 100644 --- a/src/hir_typeck/static.cpp +++ b/src/hir_typeck/static.cpp @@ -636,8 +636,9 @@ bool StaticTraitResolve::find_impl__check_crate_raw( //auto cmp = have .match_test_generics_fuzz(sp, exp, cb_ident, cb_match); auto cmp = exp .match_test_generics_fuzz(sp, have, cb_ident, cb_match); - ASSERT_BUG(sp, cmp != ::HIR::Compare::Unequal, "Assoc ty " << aty_name << " mismatch, " << have << " != des " << exp); - return true; + if( cmp == ::HIR::Compare::Unequal ) + DEBUG("Assoc ty " << aty_name << " mismatch, " << have << " != des " << exp); + return cmp != ::HIR::Compare::Unequal; }); } if( !rv ) { -- cgit v1.2.3