All - Support tuple patterns with .. at the start/end - TODO: Support in the middle

1 files changed, 1 insertions, 6 deletions

diff --git a/src/mir/from_hir.cpp b/src/mir/from_hir.cpp
index b8953fec..55ce6cb1 100644
--- a/src/mir/from_hir.cpp
+++ b/src/mir/from_hir.cpp
@@ -81,6 +81,7 @@ namespace {
                 destructure_from_ex(sp, *e.sub, ::MIR::LValue::make_Deref({ box$( mv$(lval) ) }), allow_refutable);
                 ),
             (Tuple,
+                ASSERT_BUG(sp, e.glob_pos == ::HIR::Pattern::GlobPos::None, "Tuple .. should be eliminated");
                 for(unsigned int i = 0; i < e.sub_patterns.size(); i ++ )
                 {
                     destructure_from_ex(sp, e.sub_patterns[i], ::MIR::LValue::make_Field({ box$( lval.clone() ), i}), allow_refutable);
@@ -95,9 +96,6 @@ namespace {
                     destructure_from_ex(sp, e.sub_patterns[i], ::MIR::LValue::make_Field({ box$( lval.clone() ), i}), allow_refutable);
                 }
                 ),
-            (StructTupleWildcard,
-                // Nothing.
-                ),
             (Struct,
                 const auto& str = *e.binding;
                 const auto& fields = str.m_data.as_Named();
@@ -125,9 +123,6 @@ namespace {
                     destructure_from_ex(sp, e.sub_patterns[i], ::MIR::LValue::make_Field({ box$( lval_var.clone() ), i}), allow_refutable);
                 }
                 ),
-            (EnumTupleWildcard,
-                ASSERT_BUG(sp, allow_refutable, "Refutable pattern not expected - " << pat);
-                ),
             (EnumStruct,
                 ASSERT_BUG(sp, allow_refutable, "Refutable pattern not expected - " << pat);
                 const auto& enm = *e.binding_ptr;