[NF] Fix type in Ceval.evalArrayConstructor.

- Create a new type based on the actual sizes of the created arrays in
  evalArrayConstructor, instead of using the original type which might
  have non-constant dimensions.

Belonging to [master]:
  - #2870

Author: perost

Compiler/NFFrontEnd/NFCeval.mo

@@ -2707,7 +2707,7 @@ protected
 algorithm
   e := evalExpPartial(exp);
   (e, ranges, iters) := createIterationRanges(e, iterators);
-  result := evalArrayConstructor2(e, ty, ranges, iters);
+  result := evalArrayConstructor2(e, ranges, iters);
 end evalArrayConstructor;
 
 function createIterationRanges
@@ -2731,33 +2731,38 @@ end createIterationRanges;
 
 function evalArrayConstructor2
   input Expression exp;
-  input Type ty;
   input list<Expression> ranges;
   input list<Mutable<Expression>> iterators;
   output Expression result;
 protected
-  Expression range;
+  Expression range, e;
   list<Expression> ranges_rest, expl = {};
   Mutable<Expression> iter;
   list<Mutable<Expression>> iters_rest;
   ExpressionIterator range_iter;
   Expression value;
-  Type el_ty;
+  Type ty;
 algorithm
   if listEmpty(ranges) then
     result := evalExp(exp);
   else
     range :: ranges_rest := ranges;
     iter :: iters_rest := iterators;
     range_iter := ExpressionIterator.fromExp(range);
-    el_ty := Type.unliftArray(ty);
 
     while ExpressionIterator.hasNext(range_iter) loop
       (range_iter, value) := ExpressionIterator.next(range_iter);
       Mutable.update(iter, value);
-      expl := evalArrayConstructor2(exp, el_ty, ranges_rest, iters_rest) :: expl;
+      expl := evalArrayConstructor2(exp, ranges_rest, iters_rest) :: expl;
     end while;
 
+    if listEmpty(expl) then
+      ty := Type.unliftArray(Expression.typeOf(exp));
+    else
+      ty := Expression.typeOf(listHead(expl));
+    end if;
+
+    ty := Type.liftArrayLeft(ty, Dimension.fromInteger(listLength(expl)));
     result := Expression.makeArray(ty, listReverseInPlace(expl), literal = true);
   end if;
 end evalArrayConstructor2;