HIR Typecheck - Fiddling

1 files changed, 22 insertions, 25 deletions

diff --git a/src/hir/generic_params.hpp b/src/hir/generic_params.hpp
index 28c9d067..1fe92163 100644
--- a/src/hir/generic_params.hpp
+++ b/src/hir/generic_params.hpp
@@ -8,34 +8,31 @@ struct TypeParamDef
 {
     ::std::string   m_name;
     ::HIR::TypeRef  m_default;
+    bool    m_is_sized;
 };
 
 TAGGED_UNION(GenericBound, Lifetime,
-(Lifetime, struct {
-    ::std::string   test;
-    ::std::string   valid_for;
-    }),
-(TypeLifetime, struct {
-    ::HIR::TypeRef  type;
-    ::std::string   valid_for;
-    }),
-(TraitBound, struct {
-    ::HIR::TypeRef  type;
-    ::HIR::TraitPath    trait;
-    }),
-(TraitUnbound, struct {
-    ::HIR::TypeRef  type;
-    ::HIR::GenericPath    trait;
-    }),
-//(NotTrait, struct {
-//    ::HIR::TypeRef  type;
-//    ::HIR::GenricPath    trait;
-//    }),
-(TypeEquality, struct {
-    ::HIR::TypeRef  type;
-    ::HIR::TypeRef  other_type;
-    })
-);
+    (Lifetime, struct {
+        ::std::string   test;
+        ::std::string   valid_for;
+        }),
+    (TypeLifetime, struct {
+        ::HIR::TypeRef  type;
+        ::std::string   valid_for;
+        }),
+    (TraitBound, struct {
+        ::HIR::TypeRef  type;
+        ::HIR::TraitPath    trait;
+        }),
+    //(NotTrait, struct {
+    //    ::HIR::TypeRef  type;
+    //    ::HIR::GenricPath    trait;
+    //    }),
+    (TypeEquality, struct {
+        ::HIR::TypeRef  type;
+        ::HIR::TypeRef  other_type;
+        })
+    );
 
 struct GenericParams
 {