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

1 files changed, 13 insertions, 0 deletions

diff --git a/src/ast/types.cpp b/src/ast/types.cpp
index 1c6cc568..7468dcf7 100644
--- a/src/ast/types.cpp
+++ b/src/ast/types.cpp
@@ -118,6 +118,7 @@ TypeRef::TypeRef(const TypeRef& other)
     _COPY(Generic)
     _COPY(Path)
     _COPY(TraitObject)
+    _COPY(ErasedType)
     #undef _COPY
     #undef _CLONE
     }
@@ -172,6 +173,9 @@ Ordering TypeRef::ord(const TypeRef& x) const
         ),
     (TraitObject,
         return ::ord(ent.traits, x_ent.traits);
+        ),
+    (ErasedType,
+        return ::ord(ent.traits, x_ent.traits);
         )
     )
     throw ::std::runtime_error(FMT("BUGCHECK - Unhandled TypeRef class '" << m_data.tag() << "'"));
@@ -249,6 +253,15 @@ Ordering TypeRef::ord(const TypeRef& x) const
         }
         os << ")";
         )
+    _(ErasedType,
+        os << "impl ";
+        for( const auto& it : ent.traits ) {
+            if( &it != &ent.traits.front() )
+                os << "+";
+            os << it;
+        }
+        os << "";
+        )
     }
     #undef _
     //os << ")";