diff options
| author | John Hodge <tpg@ucc.asn.au> | 2017-08-31 16:27:41 +0800 |
|---|---|---|
| committer | John Hodge <tpg@ucc.asn.au> | 2017-08-31 16:27:41 +0800 |
| commit | f541aed0641f93432b81a13f872edf1edf5e63e3 (patch) | |
| tree | 0247978d9380c408a3d3c00054d76d6b54da0068 /src/hir_typeck | |
| parent | d545aa5cdfb6813c0b4f77a6b66e391a3d887fb4 (diff) | |
| download | mrust-f541aed0641f93432b81a13f872edf1edf5e63e3.tar.gz | |
HIR Resolve UFCS - Fix assertion failure (allow false return)
Diffstat (limited to 'src/hir_typeck')
| -rw-r--r-- | src/hir_typeck/static.cpp | 5 |
1 files changed, 3 insertions, 2 deletions
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 ) { |