Determine array type by the first element

1 files changed, 0 insertions, 7 deletions

diff --git a/boot/type_check.cc b/boot/type_check.cc
index e810e30..ad27337 100644
--- a/boot/type_check.cc
+++ b/boot/type_check.cc
@@ -984,13 +984,6 @@ namespace elna::boot
                     type_mismatch_error::expected_type{ type(std::make_shared<array_type>(type(), 0)) });
             return;
         }
-        if (expression->elements.size() > array->size)
-        {
-            add_error<argument_count_error>(expression->position(),
-                    argument_count_error::kind::array, expression->type_decoration.to_string(),
-                    array->size, expression->elements.size());
-            return;
-        }
         for (auto *element : expression->elements)
         {
             if (!is_assignable_from(array->base, element->type_decoration))