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

1 files changed, 7 insertions, 0 deletions

diff --git a/src/resolve/absolute.cpp b/src/resolve/absolute.cpp
index 4a4ac5cb..ca79094e 100644
--- a/src/resolve/absolute.cpp
+++ b/src/resolve/absolute.cpp
@@ -1500,6 +1500,13 @@ void Resolve_Absolute_Type(Context& context,  TypeRef& type)
             Resolve_Absolute_Path(context, type.span(), Context::LookupMode::Type, trait);
         }
         //context.pop_lifetimes();
+        ),
+    (ErasedType,
+        //context.push_lifetimes( e.hrls );
+        for(auto& trait : e.traits) {
+            Resolve_Absolute_Path(context, type.span(), Context::LookupMode::Type, trait);
+        }
+        //context.pop_lifetimes();
         )
     )
 }