From 56e697e83cdd75d21c32281ce99d6c9fff3530f9 Mon Sep 17 00:00:00 2001 From: John Hodge Date: Sat, 8 Jun 2019 11:23:25 +0800 Subject: HIR Typecheck Static - Handle closures in EAT (for post resolve validation) --- src/hir_typeck/static.cpp | 3 +++ 1 file changed, 3 insertions(+) (limited to 'src/hir_typeck') 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); ) ) } -- cgit v1.2.3