summaryrefslogtreecommitdiff
path: root/src/hir_expand
diff options
context:
space:
mode:
authorJohn Hodge <tpg@mutabah.net>2016-11-18 13:46:47 +0800
committerJohn Hodge <tpg@mutabah.net>2016-11-18 13:46:47 +0800
commitae6ac6e148e895e58c17bddf051768a41669ddf2 (patch)
tree46d87e39710ffd436dd737ffff4bcd55cb589a6b /src/hir_expand
parentf4e40a36f65e2ab6ed0b62566ca0bf77ccc0aef9 (diff)
downloadmrust-ae6ac6e148e895e58c17bddf051768a41669ddf2.tar.gz
HIR Expand ErasedTypes - Visit result types
Diffstat (limited to 'src/hir_expand')
-rw-r--r--src/hir_expand/erased_types.cpp7
1 files changed, 7 insertions, 0 deletions
diff --git a/src/hir_expand/erased_types.cpp b/src/hir_expand/erased_types.cpp
index 4da148d0..93bef966 100644
--- a/src/hir_expand/erased_types.cpp
+++ b/src/hir_expand/erased_types.cpp
@@ -28,12 +28,19 @@ namespace {
void visit_root(::HIR::ExprPtr& root)
{
root->visit(*this);
+ visit_type(root->m_res_type);
for(auto& ty : root.m_bindings)
visit_type(ty);
for(auto& ty : root.m_erased_types)
visit_type(ty);
}
+ void visit_node_ptr(::std::unique_ptr< ::HIR::ExprNode>& node_ptr) override {
+ assert(node_ptr);
+ node_ptr->visit(*this);
+ visit_type(node_ptr->m_res_type);
+ }
+
void visit_type(::HIR::TypeRef& ty) override
{
static Span sp;