HIR Typecheck Static - Expand associated when doing auto trait searches

1 files changed, 4 insertions, 2 deletions

diff --git a/src/hir_typeck/static.cpp b/src/hir_typeck/static.cpp
index eba58331..32fb817e 100644
--- a/src/hir_typeck/static.cpp
+++ b/src/hir_typeck/static.cpp
@@ -656,7 +656,9 @@ bool StaticTraitResolve::find_impl__check_crate(
             // HELPER: Get a possibily monomorphised version of the input type (stored in `tmp` if needed)
             auto monomorph_get = [&](const auto& ty)->const auto& {
                 if( monomorphise_type_needed(ty) ) {
-                    return (tmp = monomorphise_type_with(sp, ty,  monomorph_cb));
+                    tmp = monomorphise_type_with(sp, ty,  monomorph_cb);
+                    this->expand_associated_types(sp, tmp);
+                    return tmp;
                 }
                 else {
                     return ty;
@@ -746,7 +748,7 @@ bool StaticTraitResolve::find_impl__check_crate(
             BUG(sp, "UfcsUnknown in typeck - " << type);
             ),
         (UfcsKnown,
-            TODO(sp, "Check trait bounds for bound on " << type);
+            TODO(sp, "Check trait bounds for bound on UfcsKnown " << type);
             ),
         (UfcsInherent,
             TODO(sp, "Auto trait lookup on UFCS Inherent type");