diff options
| author | John Hodge <tpg@mutabah.net> | 2016-07-14 10:01:11 +0800 |
|---|---|---|
| committer | John Hodge <tpg@mutabah.net> | 2016-07-14 10:01:11 +0800 |
| commit | e749cdc217ead3c287f0e2c26b26fffce546cf7c (patch) | |
| tree | b5a42c3de4f9bd1a6322f88a0cba2725bc862f86 | |
| parent | 52d58d15a7081d633b59a7bdecbd39b2fda19487 (diff) | |
| download | mrust-e749cdc217ead3c287f0e2c26b26fffce546cf7c.tar.gz | |
HIR Typecheck - Traits are imported within trait impls
| -rw-r--r-- | src/hir_typeck/expr_visit.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/hir_typeck/expr_visit.cpp b/src/hir_typeck/expr_visit.cpp index 11705a7e..0f998464 100644 --- a/src/hir_typeck/expr_visit.cpp +++ b/src/hir_typeck/expr_visit.cpp @@ -58,7 +58,9 @@ namespace { const auto& mod = this->m_ms.m_crate.get_mod_by_path(Span(), impl.m_src_module); m_ms.push_traits(mod); + m_ms.m_traits.push_back( ::std::make_pair( &trait_path, &this->m_ms.m_crate.get_trait_by_path(Span(), trait_path) ) ); ::HIR::Visitor::visit_trait_impl(trait_path, impl); + m_ms.m_traits.pop_back( ); m_ms.pop_traits(mod); } void visit_marker_impl(const ::HIR::SimplePath& trait_path, ::HIR::MarkerImpl& impl) override |