HIR Typecheck - Monomorphise trait parameters in bound checking

1 files changed, 5 insertions, 2 deletions

diff --git a/src/hir_typeck/helpers.cpp b/src/hir_typeck/helpers.cpp
index ecdfc1ec..3af93ac9 100644
--- a/src/hir_typeck/helpers.cpp
+++ b/src/hir_typeck/helpers.cpp
@@ -1782,10 +1782,13 @@ bool TraitResolution::find_trait_impls_crate(const Span& sp,
                     DEBUG("Check bound " << be.type << " : " << be.trait);
                     auto real_type = monomorphise_type_with(sp, be.type, monomorph, false);
                     auto real_trait = monomorphise_traitpath_with(sp, be.trait, monomorph, false);
-                    const auto& real_trait_path = real_trait.m_path;
+                    for(auto& p : real_trait.m_path.m_params.m_types) {
+                        p = this->expand_associated_types(sp, mv$(p));
+                    }
                     for(auto& ab : real_trait.m_type_bounds) {
                         ab.second = this->expand_associated_types(sp, mv$(ab.second));
                     }
+                    const auto& real_trait_path = real_trait.m_path;
                     DEBUG("- " << real_type << " : " << real_trait_path);
                     auto rv = this->find_trait_impls(sp, real_trait_path.m_path, real_trait_path.m_params, real_type, [&](const auto&, const auto& a, const auto& t) {
                         for(const auto& assoc_bound : real_trait.m_type_bounds) {
@@ -1976,7 +1979,7 @@ unsigned int TraitResolution::autoderef_find_method(const Span& sp, const HIR::t
     else
     {
         this->m_ivars.dump();
-        TODO(sp, "Error when no method could be found, but type is known - (: " << top_ty << ")." << method_name);
+        ERROR(sp, E0000, "Could not find method `" << method_name << "` on type `" << top_ty << "`");
     }
 }