HIR Serialise - Fix serialisation of ErasedType

2 files changed, 9 insertions, 3 deletions

diff --git a/src/hir/deserialise.cpp b/src/hir/deserialise.cpp
index e1939d6d..de7790ee 100644
--- a/src/hir/deserialise.cpp
+++ b/src/hir/deserialise.cpp
@@ -610,6 +610,12 @@ namespace {
             deserialise_vec< ::HIR::GenericPath>(),
             ""  // TODO: m_lifetime
             })
+        _(ErasedType, {
+            deserialise_path(),
+            static_cast<unsigned int>(m_in.read_count()),
+            deserialise_vec< ::HIR::TraitPath>(),
+            ""  // TODO: m_lifetime
+            })
         _(Array, {
             deserialise_ptr< ::HIR::TypeRef>(),
             nullptr,
diff --git a/src/hir/serialise.cpp b/src/hir/serialise.cpp
index ea4dfabf..e61d525e 100644
--- a/src/hir/serialise.cpp
+++ b/src/hir/serialise.cpp
@@ -90,12 +90,12 @@ namespace {
                 //write_string(e.lifetime); // TODO: Need a better type
                 ),
             (ErasedType,
+                serialise_path(e.m_origin);
+                m_out.write_count(e.m_index);
+                
                 m_out.write_count(e.m_traits.size());
                 for(const auto& t : e.m_traits)
                     serialise_traitpath(t);
-                
-                serialise_path(e.m_origin);
-                m_out.write_count(e.m_index);
                 ),
             (Array,
                 assert(e.size_val != ~0u);