HIR Typecheck Outer - Recurse when UFCS replaced

1 files changed, 2 insertions, 0 deletions

diff --git a/src/hir_typeck/outer.cpp b/src/hir_typeck/outer.cpp
index 7fb8b199..12a61944 100644
--- a/src/hir_typeck/outer.cpp
+++ b/src/hir_typeck/outer.cpp
@@ -242,6 +242,7 @@ namespace {
                     TODO(sp, "Locate impl block for UFCS Inherent");
                     ),
                 (UfcsKnown,
+                    DEBUG("UfcsKnown - " << ty);
                     if( pe.type->m_data.is_Path() && pe.type->m_data.as_Path().binding.is_Opaque() ) {
                         // - Opaque type, opaque result
                         DEBUG("Inner type opaque, assuming " << ty << " also opaque");
@@ -276,6 +277,7 @@ namespace {
                                 }
                                 DEBUG("Replaced " << ty << " with " << new_ty);
                                 ty = mv$(new_ty);
+                                visit_type(ty); // Recurse on this
                             }
                         }
                         else {