Support Array Sizes using Generic arguments to be initialized via {} (#6720)

* Add support for Array Sizes using Generic arguments to be initialized via {}

Fixes one subissue of #6138

This change adds support for initializing Arrays with Generic size arguments via {}
and adds a test to verify it.

The change checks for an array whose size parameter is a GenericParamIntVal
and since the size of such an array will be known at link time, is not considered
as a case of the size not being known statically.

* Add support for Array Sizes using Generic arguments to be initialized via {}

Fixes one subissue of #6138.
Fixes the issue #6958.

This change adds support for initializing Arrays with Generic size arguments via {}
and adds a test to verify it.

Support is added by means of adding a new AST Expr node that lowers down to the IR MakeArrayFromElement
and the emission of a diagnostic is replaced with the creation of this new AST Expr node.

* format code

---------

Co-authored-by: slangbot <186143334+slangbot@users.noreply.github.com>
Co-authored-by: Ellie Hermaszewska <ellieh@nvidia.com>

1 files changed, 6 insertions, 12 deletions

diff --git a/source/slang/slang-check-conversion.cpp b/source/slang/slang-check-conversion.cpp
index 1c8846e66..a2cb0f91b 100644
--- a/source/slang/slang-check-conversion.cpp
+++ b/source/slang/slang-check-conversion.cpp
@@ -613,19 +613,13 @@ bool SemanticsVisitor::_readAggregateValueFromInitializerList(
             }
             else
             {
-                // We don't know the element count statically,
-                // so what are we supposed to be doing?
-                //
-                if (outToExpr)
-                {
-                    getSink()->diagnose(
-                        fromInitializerListExpr,
-                        Diagnostics::cannotUseInitializerListForArrayOfUnknownSize,
-                        toElementCount);
-                }
-                return false;
-            }
+                auto toMakeArrayFromElementExpr = m_astBuilder->create<MakeArrayFromElementExpr>();
+                toMakeArrayFromElementExpr->loc = fromInitializerListExpr->loc;
+                toMakeArrayFromElementExpr->type = QualType(toType);
 
+                *outToExpr = toMakeArrayFromElementExpr;
+                return true;
+            }
             for (UInt ee = 0; ee < elementCount; ++ee)
             {
                 Expr* coercedArg = nullptr;