https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106037
simon at pushface dot org changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |simon at pushface dot org --- Comment #4 from simon at pushface dot org --- This is illegal code: 'aspect "Aggregate" can only be applied to non-array type'. See https://groups.google.com/g/comp.lang.ada/c/FHWcqk1SWRM/m/sYTWUHQxAgAJ, and the (slightly unemphatically worded) ARM 4.3.5(2), "For a type other than an array type, the following type-related operational aspect may be specified" GNAT 14.0.1 20240223 (experimental) Copyright 1992-2024, Free Software Foundation, Inc. Compiling: container_aggregates.adb Source file time stamp: 2024-03-13 15:04:00 Compiled at: 2024-03-13 15:04:53 1. procedure Container_Aggregates is 2. 3. type Array_Type is 4. array (1 .. 10) of Integer 5. with Aggregate => (Empty => Empty_Array); 1 2 3 >>> error: aspect "Aggregate" can only be applied to non-array type >>> error: incomplete specification for aggregate >>> error: object "Empty_Array" cannot be used before end of its declaration >>> error: improper aggregate operation for "Array_Type" 6. 7. Empty_Array : constant Array_Type := [1..10 => 123]; 8. 9. begin 10. null; 11. end Container_Aggregates; 12. 12 lines: 4 errors