diff options
author | John Hodge <tpg@mutabah.net> | 2016-07-31 15:42:55 +0800 |
---|---|---|
committer | John Hodge <tpg@mutabah.net> | 2016-07-31 15:42:55 +0800 |
commit | 3a4bce4e6c6f0f52aab6787403b61f09b26bb532 (patch) | |
tree | 47f9f3d95528446501a7008dd387027da44bb8df /src | |
parent | d37c27292945148d53108fc876cff3371c53404c (diff) | |
download | mrust-3a4bce4e6c6f0f52aab6787403b61f09b26bb532.tar.gz |
HIR Typecheck - (minor) Logging in expand associated types
Diffstat (limited to 'src')
-rw-r--r-- | src/hir_typeck/helpers.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/hir_typeck/helpers.cpp b/src/hir_typeck/helpers.cpp index d919bae1..f751fe2b 100644 --- a/src/hir_typeck/helpers.cpp +++ b/src/hir_typeck/helpers.cpp @@ -1375,12 +1375,11 @@ bool TraitResolution::has_associated_type(const ::HIR::TypeRef& input) const void TraitResolution::expand_associated_types__UfcsKnown(const Span& sp, ::HIR::TypeRef& input) const { + TRACE_FUNCTION_FR("input=" << input, input); auto& e = input.m_data.as_Path(); auto& pe = e.path.m_data.as_UfcsKnown(); // TODO: If opaque, still search a list of known equalities - DEBUG("Locating associated type for " << e.path); - *pe.type = expand_associated_types(sp, mv$(*pe.type)); |