HIR Typecheck Static - Handle closures in EAT (for post resolve validation)

1 files changed, 3 insertions, 0 deletions

diff --git a/src/hir_typeck/static.cpp b/src/hir_typeck/static.cpp
index e08ea678..1537d674 100644
--- a/src/hir_typeck/static.cpp
+++ b/src/hir_typeck/static.cpp
@@ -1022,6 +1022,9 @@ void StaticTraitResolve::expand_associated_types_inner(const Span& sp, ::HIR::Ty
         ),
     (Closure,
         // Recurse?
+        for(auto& ty : e.m_arg_types)
+            expand_associated_types_inner(sp, ty);
+        expand_associated_types_inner(sp, *e.m_rettype);
         )
     )
 }