AST+HIR - Add stubbed support for erased types (`impl Trait`)

1 files changed, 6 insertions, 0 deletions

diff --git a/src/hir/visitor.cpp b/src/hir/visitor.cpp
index 05e99734..42713c36 100644
--- a/src/hir/visitor.cpp
+++ b/src/hir/visitor.cpp
@@ -295,6 +295,12 @@ void ::HIR::Visitor::visit_type(::HIR::TypeRef& ty)
             this->visit_generic_path(trait, ::HIR::Visitor::PathContext::TYPE);
         }
         ),
+    (ErasedType,
+        this->visit_path(e.m_origin, ::HIR::Visitor::PathContext::TYPE);
+        for(auto& trait : e.m_traits) {
+            this->visit_trait_path(trait);
+        }
+        ),
     (Array,
         this->visit_type( *e.inner );
         this->visit_expr( e.size );