From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
	ip-172-31-65-14.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=1.0 required=3.0 tests=BAYES_20,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM,T_SCC_BODY_TEXT_LINE autolearn=no autolearn_force=no
	version=3.4.6
X-Received: by 2002:a5d:514d:0:b0:21b:932b:be77 with SMTP id u13-20020a5d514d000000b0021b932bbe77mr4355600wrt.231.1655763050518;
        Mon, 20 Jun 2022 15:10:50 -0700 (PDT)
X-Received: by 2002:a0d:e084:0:b0:314:b0c:5dc2 with SMTP id
 j126-20020a0de084000000b003140b0c5dc2mr28682920ywe.411.1655763049891; Mon, 20
 Jun 2022 15:10:49 -0700 (PDT)
Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.mixmin.net!proxad.net!feeder1-2.proxad.net!209.85.128.88.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Mon, 20 Jun 2022 15:10:49 -0700 (PDT)
In-Reply-To: <t8ml0l$1vo2$1@gioia.aioe.org>
Injection-Info: google-groups.googlegroups.com; posting-host=194.255.97.108; posting-account=hMbstgoAAAAIa4kxFYtvUVUHbE1RcZzT
NNTP-Posting-Host: 194.255.97.108
References: <t8ml0l$1vo2$1@gioia.aioe.org>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <c0c74e8d-ca63-4afb-b07a-b88f18cf7114n@googlegroups.com>
Subject: Re: New aggregates with Ada 2022.
From: Jesper Quorning <jesper.quorning@gmail.com>
Injection-Date: Mon, 20 Jun 2022 22:10:50 +0000
Content-Type: text/plain; charset="UTF-8"
Xref: reader02.eternal-september.org comp.lang.ada:64002
List-Id: <comp.lang.ada>

It look like the Aggregate aspect has some rough edges.
This code leads to internal compiler error with gnatmake 12.1.0: 

package Container_Aggregates is
   type Array_Type is
     array (1 .. 10) of Integer
   with Aggregate => (Empty => Empty_Array);

   Empty_Array : constant Array_Type := [1..10 => 123];
end Container_Aggregates;