HIR Typecheck Static - Expand associated after getting type from impl

1 files changed, 1 insertions, 0 deletions

diff --git a/src/hir_typeck/static.cpp b/src/hir_typeck/static.cpp
index 19af10bb..a7f09541 100644
--- a/src/hir_typeck/static.cpp
+++ b/src/hir_typeck/static.cpp
@@ -476,6 +476,7 @@ bool StaticTraitResolve::find_impl__check_crate(
                     else {
                         rv = this->find_impl(sp, aty_src_trait.m_path, aty_src_trait.m_params, b_ty_mono, [&](const auto& impl) {
                             ::HIR::TypeRef have = impl.get_type(aty_name.c_str());
+                            this->expand_associated_types(sp, have);
                             
                             //auto cmp = have .match_test_generics_fuzz(sp, exp, cb_ident, cb_match);
                             auto cmp = exp .match_test_generics_fuzz(sp, have, cb_ident, cb_match);