HIR Typecheck Expr - Shadow into borrows of tuples

1 files changed, 9 insertions, 0 deletions

diff --git a/src/hir_typeck/expr_cs.cpp b/src/hir_typeck/expr_cs.cpp
index e7fac500..c6d15a21 100644
--- a/src/hir_typeck/expr_cs.cpp
+++ b/src/hir_typeck/expr_cs.cpp
@@ -3513,13 +3513,22 @@ void Context::equate_types_shadow(const Span& sp, const ::HIR::TypeRef& l)
             this->equate_types_shadow(sp, sty);
         ),
     (Borrow,
+        // TODO: Should this just recurse?
+        #if 1
+        this->equate_types_shadow(sp, *e.inner);
+        #else
         TU_MATCH_DEF(::HIR::TypeRef::Data, (this->get_type(*e.inner).m_data), (e2),
         (
             ),
+        (Tuple,
+            for(const auto& sty : e2)
+                this->equate_types_shadow(sp, sty);
+            ),
         (Infer,
             this->possible_equate_type_disable(e2.index);
             )
         )
+        #endif
         ),
     (Closure,
         for(const auto& aty : e.m_arg_types)