diff options
| -rw-r--r-- | src/hir_typeck/expr_cs.cpp | 9 |
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) |