MIR Helpers - Expand associated types in monomorpised function types

1 files changed, 3 insertions, 1 deletions

diff --git a/src/mir/helpers.cpp b/src/mir/helpers.cpp
index f2c0e39e..ea5709d1 100644
--- a/src/mir/helpers.cpp
+++ b/src/mir/helpers.cpp
@@ -308,7 +308,9 @@ const ::HIR::TypeRef& ::MIR::TypeResolve::get_lvalue_type(::HIR::TypeRef& tmp, c
             ft.m_arg_types.reserve(ve->m_args.size());
             for(const auto& arg : ve->m_args)
                 ft.m_arg_types.push_back( p.monomorph(this->sp, arg.second) );
-            return ::HIR::TypeRef( mv$(ft) );
+            auto rv = ::HIR::TypeRef( mv$(ft) );
+            m_resolve.expand_associated_types(this->sp, rv);
+            return rv;
             )
         )
         )