diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/hir_typeck/outer.cpp | 2 |
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 { |