From 7cf78affadac44ea1918d0f576e6f337e8ffc653 Mon Sep 17 00:00:00 2001 From: John Hodge Date: Thu, 6 Jul 2017 12:27:37 +0800 Subject: MIR Helpers - Expand associated types in monomorpised function types --- src/mir/helpers.cpp | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'src') 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; ) ) ) -- cgit v1.2.3