diff options
| author | John Hodge <tpg@mutabah.net> | 2016-08-06 14:18:45 +0800 |
|---|---|---|
| committer | John Hodge <tpg@mutabah.net> | 2016-08-06 14:18:45 +0800 |
| commit | a11fee6abe86b049cb73dbd29784792999503d97 (patch) | |
| tree | 559dc8f3aef37b9f7f83d45d2fa4c472a199c5ed /src | |
| parent | 4559d673ddb00f14093318926c76152b580ae6f9 (diff) | |
| download | mrust-a11fee6abe86b049cb73dbd29784792999503d97.tar.gz | |
HIR Typecheck Outer - Recurse when UFCS replaced
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 { |