diff options
| author | John Hodge <tpg@ucc.asn.au> | 2017-11-25 15:23:17 +0800 |
|---|---|---|
| committer | John Hodge <tpg@ucc.asn.au> | 2017-11-25 15:23:17 +0800 |
| commit | e634a3345e70b107f05ccae1f075d1a95772875a (patch) | |
| tree | c7b87d3801a0385c8fae95f993372163e45e3606 /src/hir_expand/annotate_value_usage.cpp | |
| parent | 1153b337bd842c2694272d8df5fdb2d39063636d (diff) | |
| download | mrust-e634a3345e70b107f05ccae1f075d1a95772875a.tar.gz | |
HIR Expand - Allow tuple patterns to have .. if all entries are covered
Diffstat (limited to 'src/hir_expand/annotate_value_usage.cpp')
| -rw-r--r-- | src/hir_expand/annotate_value_usage.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/hir_expand/annotate_value_usage.cpp b/src/hir_expand/annotate_value_usage.cpp index 805eac4e..58a4604a 100644 --- a/src/hir_expand/annotate_value_usage.cpp +++ b/src/hir_expand/annotate_value_usage.cpp @@ -481,7 +481,7 @@ namespace { (SplitTuple, ASSERT_BUG(sp, ty.m_data.is_Tuple(), "SplitTuple pattern with non-tuple type - " << ty); const auto& subtys = ty.m_data.as_Tuple(); - assert(pe.leading.size() + pe.trailing.size() < subtys.size()); + assert(pe.leading.size() + pe.trailing.size() <= subtys.size()); auto rv = ::HIR::ValueUsage::Borrow; for(unsigned int i = 0; i < pe.leading.size(); i ++) rv = ::std::max(rv, get_usage_for_pattern(sp, pe.leading[i], subtys[i])); |