From 7d0d0eb69589ab8e0c8b036a3b642593a372b041 Mon Sep 17 00:00:00 2001
From: Eugen Wissner <belka@caraus.de>
Date: Sun, 23 Aug 2026 20:01:55 +0200
Subject: Determine array type by the first element

---
 boot/type_check.cc | 7 -------
 1 file changed, 7 deletions(-)

(limited to 'boot/type_check.cc')

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))
-- 
cgit v1.2.3