From e634a3345e70b107f05ccae1f075d1a95772875a Mon Sep 17 00:00:00 2001 From: John Hodge Date: Sat, 25 Nov 2017 15:23:17 +0800 Subject: HIR Expand - Allow tuple patterns to have .. if all entries are covered --- src/hir_expand/annotate_value_usage.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/hir_expand/annotate_value_usage.cpp') 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])); -- cgit v1.2.3