diff options
| author | John Hodge <tpg@mutabah.net> | 2018-12-29 11:15:08 +0800 |
|---|---|---|
| committer | John Hodge <tpg@mutabah.net> | 2018-12-29 11:15:08 +0800 |
| commit | 5238ab2025b099f861bd2d071ed3521e7ee4e842 (patch) | |
| tree | 4fe364638f4ea4a0720e5af9b74fc3ba53f1605f /src/hir_typeck/expr_check.cpp | |
| parent | 174646946ada8348c4d1d153ce422eeae2937fd5 (diff) | |
| download | mrust-5238ab2025b099f861bd2d071ed3521e7ee4e842.tar.gz | |
Typecheck Expressions - Fix incorrect anotation on blocks traversed for coercions
Diffstat (limited to 'src/hir_typeck/expr_check.cpp')
| -rw-r--r-- | src/hir_typeck/expr_check.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/hir_typeck/expr_check.cpp b/src/hir_typeck/expr_check.cpp index 2d63d045..cd57c471 100644 --- a/src/hir_typeck/expr_check.cpp +++ b/src/hir_typeck/expr_check.cpp @@ -1050,6 +1050,7 @@ namespace { } void check_types_equal(const Span& sp, const ::HIR::TypeRef& l, const ::HIR::TypeRef& r) const { + //DEBUG(sp << " - " << l << " == " << r); if( /*l.m_data.is_Diverge() ||*/ r.m_data.is_Diverge() ) { // Diverge, matches everything. // TODO: Is this always true? |