summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/hir_typeck/expr_cs.cpp5
1 files changed, 5 insertions, 0 deletions
diff --git a/src/hir_typeck/expr_cs.cpp b/src/hir_typeck/expr_cs.cpp
index f5d234e4..32cdf7bb 100644
--- a/src/hir_typeck/expr_cs.cpp
+++ b/src/hir_typeck/expr_cs.cpp
@@ -3132,6 +3132,11 @@ void Context::equate_types_shadow(const Span& sp, const ::HIR::TypeRef& l)
)
)
),
+ (Closure,
+ for(const auto& aty : e.m_arg_types)
+ this->equate_types_shadow(sp, aty);
+ this->equate_types_shadow(sp, *e.m_rettype);
+ ),
(Infer,
this->possible_equate_type_disable(e.index);
)