diff options
| -rw-r--r-- | src/hir_typeck/static.cpp | 1 |
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); |