From e9fae2ebcd43b249e09079b0596e3338a04e1c99 Mon Sep 17 00:00:00 2001 From: John Hodge Date: Sun, 30 Oct 2016 19:03:54 +0800 Subject: HIR Typecheck - Rough support for box patterns --- src/mir/from_hir.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/mir/from_hir.cpp') diff --git a/src/mir/from_hir.cpp b/src/mir/from_hir.cpp index 27c7d4cf..80915304 100644 --- a/src/mir/from_hir.cpp +++ b/src/mir/from_hir.cpp @@ -57,7 +57,7 @@ namespace { (Any, ), (Box, - TODO(sp, "Destructure using " << pat); + define_vars_from(sp, *e.sub); ), (Ref, define_vars_from(sp, *e.sub); @@ -168,7 +168,7 @@ namespace { (Any, ), (Box, - TODO(sp, "Destructure using Box - " << pat); + destructure_from_ex(sp, *e.sub, ::MIR::LValue::make_Deref({ box$( mv$(lval) ) }), allow_refutable); ), (Ref, destructure_from_ex(sp, *e.sub, ::MIR::LValue::make_Deref({ box$( mv$(lval) ) }), allow_refutable); -- cgit v1.2.3