HIR Typecheck Expr - Prevent ivar defaulting of closure arguments when closure is possibly unknown

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);
         )