1 files changed, 7 insertions, 0 deletions
diff --git a/src/hir/type.hpp b/src/hir/type.hpp
index 4f7e97a5..6dd02804 100644
--- a/src/hir/type.hpp
+++ b/src/hir/type.hpp
@@ -170,6 +170,13 @@ public:
     static TypeRef new_pointer(BorrowType bt, TypeRef inner) {
         return TypeRef(Data::make_Pointer({bt, box$(mv$(inner))}));
     }
+    static TypeRef new_array(TypeRef inner, unsigned int size) {
+        assert(size != ~0u);
+        return TypeRef(Data::make_Array({box$(mv$(inner)), ::HIR::ExprPtr(), size}));
+    }
+    static TypeRef new_array(TypeRef inner, ::HIR::ExprPtr size_expr) {
+        return TypeRef(Data::make_Array({box$(mv$(inner)), mv$(size_expr), ~0u}));
+    }
     
     TypeRef clone() const;